Abstract is missing.
- Positive Non-interference in Elementary and Trace NetsNadia Busi, Roberto Gorrieri. 1-16 [doi]
- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?Gianfranco Ciardo. 17-34 [doi]
- Embedded Software: Better Models, Better CodeThomas A. Henzinger. 35-36 [doi]
- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed AutomataWojciech Penczek, Agata Pólrola. 37-76 [doi]
- Formal Tools for Modular System DevelopmentLucia Pomello, Luca Bernardinello. 77-96 [doi]
- Stochastic Methods for Dependability, Performability, and Security EvaluationWilliam H. Sanders. 97 [doi]
- Composition of Temporal Logic SpecificationsAdrianna Alexander. 98-116 [doi]
- On the Use of Coloured Petri Nets for Object-Oriented DesignJoão Paulo Barros, Luís Gomes. 117-136 [doi]
- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri NetsClaudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry. 137-156 [doi]
- Finite Unfoldings of Unbounded Petri NetsJörg Desel, Gabriel Juhás, Christian Neumair. 157-176 [doi]
- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSysGiuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini. 177-196 [doi]
- Generalised Soundness of Workflow Nets Is DecidableKees M. van Hee, Natalia Sidorova, Marc Voorhoeve. 197-215 [doi]
- Petri Net Based Model Validation in Systems BiologyMonika Heiner, Ina Koch. 216-237 [doi]
- Synthesis of Controlled Behavior with Modules of Signal NetsGabriel Juhás, Robert Lorenz, Christian Neumair. 238-257 [doi]
- New Canonical Representative Marking Algorithms for Place/Transition-NetsTommi A. Junttila. 258-277 [doi]
- Properties of Object Petri NetsMichael Köhler, Heiko Rölke. 278-297 [doi]
- LTL Model Checking for Modular Petri NetsTimo Latvala, Marko Mäkelä. 298-311 [doi]
- Covering Fairness against ConspiraciesEdward Ochmanski. 312-330 [doi]
- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical MethodsLeo Ojala, Olli-Matti Penttinen, Elina Parviainen. 331-350 [doi]
- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri NetsMaría José Polo Martín, Luis Antonio Miguel Quintales, María N. Moreno García. 351-370 [doi]
- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space ComputationOlivier H. Roux, Didier Lime. 371-390 [doi]
- Transit Case StudyEric Verbeek, Robert A. van der Toorn. 391-410 [doi]
- Eliminating Internal Behaviour in Petri NetsHarro Wimmel. 411-425 [doi]
- Infinity of Intermediate States Is Decidable for Petri NetsHarro Wimmel. 426-434 [doi]
- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on TransformationsDong-Hoon Yoo, Dong-Ik Lee, Jeong-A. Lee. 435-453 [doi]
- EMiT: A Process Mining ToolBoudewijn F. van Dongen, Wil M. P. van der Aalst. 454-463 [doi]
- 3D-Visualization of Petri Net Models: Concept and RealizationEkkart Kindler, Csaba Páles. 464-473 [doi]
- An Approach to Distributed State Space Exploration for Coloured Petri NetsLars Michael Kristensen, Laure Petrucci. 474-483 [doi]
- An Extensible Editor and Simulation Engine for Petri Nets: RenewOlaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk. 484-493 [doi]
- Web Supported Enactment of Petri-Net Based Workflows with XRL/FlowerAlexander Norta. 494-503 [doi]