Abstract is missing.
- Net Models for Concurrent Object BehaviourTony Hoare. 1-2 [doi]
- The Theory of WSTS: The Case of Complete WSTSAlain Finkel, Jean Goubault-Larrecq. 3-31 [doi]
- Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference MethodsThomas Mailund, Anders E. Halager, Michael Westergaard. 32-50 [doi]
- An SMT-Based Discovery Algorithm for C-NetsMarc Solé, Josep Carmona. 51-71 [doi]
- Decomposing Process Mining Problems Using PassagesWil M. P. van der Aalst. 72-91 [doi]
- Complexity of the Soundness Problem of Bounded Workflow NetsGuan-Jun Liu, Jun Sun 0001, Yang Liu, Jin Song Dong. 92-107 [doi]
- Cost Soundness for Priced Resource-Constrained Workflow NetsMaría Martos-Salgado, Fernando Rosa Velardo. 108-127 [doi]
- On the α-Reconstructibility of Workflow NetsEric Badouel. 128-147 [doi]
- On Profiles and Footprints - Relational Semantics for Petri NetsMatthias Weidlich, Jan Martijn E. M. van der Werf. 148-167 [doi]
- Data and Abstraction for Scenario-Based Modeling with Petri NetsDirk Fahland, Robert Prüfer. 168-187 [doi]
- Maximal Confluent ProcessesXu Wang. 188-207 [doi]
- Old and New Algorithms for Minimal Coverability SetsAntti Valmari, Henri Hansen. 208-227 [doi]
- Stubborn Sets for Simple Linear Time PropertiesAndreas Lehmann, Niels Lohmann, Karsten Wolf. 228-247 [doi]
- Hybrid On-the-Fly LTL Model Checking with the Sweep-Line MethodSami Evangelista, Lars Michael Kristensen. 248-267 [doi]
- Safety Slicing Petri NetsAstrid Rakow. 268-287 [doi]
- Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri NetsVeronica Gil Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marín. 288-307 [doi]
- An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri NetsJoyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst. 308-327 [doi]
- Designing Weakly Terminating ROS SystemsDebjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf. 328-347 [doi]
- Nets-within-Nets to Model Innovative Space System ArchitecturesFrédéric Cristini, Catherine Tessier. 348-367 [doi]
- P- and T-Systems in the Nets-within-Nets-FormalismFrank Heitmann, Michael Köhler-Bußmeier. 368-387 [doi]
- Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0Simon Spinner, Samuel Kounev, Philipp Meier. 388-397 [doi]
- Snoopy - A Unifying Petri Net ToolMonika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick. 398-407 [doi]
- CPN Assistant II: A Tool for Management of Networked SimulationsStefan Korecko, Ján Marcincin, Viliam Slodicák. 408-417 [doi]