Abstract is missing.
- Occurrence Nets Then and Now: The Path to Structured Occurrence NetsBrian Randell. 1-16 [doi]
- How Might Petri Nets Enhance Your Systems Biology ToolkitMonika Heiner, David Gilbert. 17-37 [doi]
- State Estimation and Fault Detection Using Petri NetsAlessandro Giua. 38-48 [doi]
- Forward Analysis and Model Checking for Trace Bounded WSTSPierre Chambart, Alain Finkel, Sylvain Schmitz. 49-68 [doi]
- Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with PruningPierre-Alain Reynier, Frédéric Servais. 69-88 [doi]
- An Algorithm for Direct Construction of Complete Merged ProcessesVictor Khomenko, Andrey Mokhov. 89-108 [doi]
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets UnfoldingsG. Michele Pinna. 109-128 [doi]
- Branching Processes of General Petri NetsJean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. 129-148 [doi]
- Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. 149-168 [doi]
- Modeling and Verification of a Protocol for Operational Support Using Coloured Petri NetsMichael Westergaard, Fabrizio Maria Maggi. 169-188 [doi]
- Finding a Witness Path for Non-liveness in Free-Choice NetsHarro Wimmel, Karsten Wolf. 189-207 [doi]
- A Petri Net Interpretation of Open Reconfigurable SystemsFrédéric Peschanski, Hanna Klaudel, Raymond R. Devillers. 208-227 [doi]
- The Mutex Paradigm of ConcurrencyJetty Kleijn, Maciej Koutny. 228-247 [doi]
- On the Origin of Events: Branching Cells as Stubborn SetsHenri Hansen, Xu Wang. 248-267 [doi]
- On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join SubnetJonathan Billington, Guy Edward Gallasch. 268-287 [doi]
- Synthesis and Analysis of Product-Form Petri NetsSerge Haddad, Jean Mairesse, Hoang-Thach Nguyen. 288-307 [doi]
- A Tool for Automated Test Code Generation from High-Level Petri NetsDianxiang Xu. 308-317 [doi]
- The ePNK: An Extensible Petri Net Tool for PNMLEkkart Kindler. 318-327 [doi]
- Access/CPN 2.0: A High-Level Interface to Coloured Petri Net ModelsMichael Westergaard. 328-337 [doi]
- Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with BagM. Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. 338-347 [doi]