Abstract is missing.
- Describing Behavior of Processes with Many-to-Many InteractionsDirk Fahland. 3-24 [doi]
- Modal Open Petri NetsVitali Schneider, Walter Vogler. 25-46 [doi]
- Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential SumsGiulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico. 47-66 [doi]
- RenewKube: Reference Net Simulation Scaling with Renew and KubernetesJan Henrik Röwekamp, Daniel Moldt. 69-79 [doi]
- PNemu: An Extensible Modeling Library for Adaptable Distributed SystemsMatteo Camilli, Lorenzo Capra, Carlo Bellettini. 80-90 [doi]
- CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph ConstructionJan Martijn E. M. van der Werf, Lucas Steehouwer. 91-100 [doi]
- Tools for Curry-Coloured Petri NetsMichael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann. 101-110 [doi]
- Articulation of Transition Systems and Its Application to Petri Net SynthesisRaymond R. Devillers. 113-126 [doi]
- Hardness Results for the Synthesis of b-bounded Petri NetsRonny Tredup. 127-147 [doi]
- Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri NetsRonny Tredup. 148-168 [doi]
- Reversing Steps in Petri NetsDavid de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. 171-191 [doi]
- On Interval Semantics of Inhibitor and Activator NetsRyszard Janicki. 192-212 [doi]
- Reversing Unbounded Petri NetsLukasz Mikulski, Ivan Lanese. 213-233 [doi]
- Generalized Alignment-Based Trace Clustering of Process BehaviorMathilde Boltenhagen, Thomas Chatain, Josep Carmona. 237-257 [doi]
- Finding Complex Process-Structures by Exploiting the Token-GameLisa Luise Mannel, Wil M. P. van der Aalst. 258-278 [doi]
- Concurrent Programming from pseuCo to PetriFelix Freiberger, Holger Hermanns. 279-297 [doi]
- Improving Saturation Efficiency with Implicit RelationsShruti Biswal, Andrew S. Miner. 301-320 [doi]
- Taking Some Burden Off an Explicit CTL Model CheckerTorsten Liebke, Karsten Wolf. 321-341 [doi]
- Saturation Enhanced with Conditional Locality: Application to Petri NetsVince Molnár, István Majzik. 342-361 [doi]
- Parameterized Analysis of Immediate Observation Petri NetsJavier Esparza, Mikhail Raskin, Chana Weil-Kennedy. 365-385 [doi]
- The Combinatorics of Barrier SynchronizationOlivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski. 386-405 [doi]
- Parameter Synthesis for Bounded Cost Reachability in Time Petri NetsDidier Lime, Olivier H. Roux, Charlotte Seidner. 406-425 [doi]
- Coverability and Termination in Recursive Petri NetsAlain Finkel, Serge Haddad, Igor Khmelnitsky. 429-448 [doi]
- From DB-nets to Coloured Petri Nets with PrioritiesMarco Montali, Andrey Rivkin. 449-469 [doi]