Abstract is missing.
- Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow ManagementWil M. P. van der Aalst. 1-65 [doi]
- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based ProgrammingDan Barak, David Harel, Rami Marelly. 66-86 [doi]
- Timed Automata: Semantics, Algorithms and ToolsJohan Bengtsson, Wang Yi. 87-124 [doi]
- Petri Nets and DependabilitySimona Bernardi, Andrea Bobbio, Susanna Donatelli. 125-179 [doi]
- Process Algebra: A Petri-Net-Oriented TutorialEike Best, Maciej Koutny. 180-209 [doi]
- A Coloured Petri Net Approach to Protocol VerificationJonathan Billington, Guy Edward Gallasch, Bing Han. 210-290 [doi]
- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic NetsRoberto Bruni, Hernán C. Melgratti, Ugo Montanari. 291-327 [doi]
- A Survey on Non-interference with Petri NetsNadia Busi, Roberto Gorrieri. 328-344 [doi]
- Synthesis of Asynchronous Hardware from Petri NetsJosep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev. 345-401 [doi]
- Teaching Coloured Petri Nets: Examples of Courses and Lessons LearnedSøren Christensen, Jens Bæk Jørgensen. 402-412 [doi]
- Unbounded Petri Net SynthesisPhilippe Darondeau. 413-438 [doi]
- Petri Nets and Software EngineeringGiovanni Denaro, Mauro Pezzè. 439-466 [doi]
- Model Validation in Controller DesignJörg Desel, Vesna Milijic, Christian Neumair. 467-495 [doi]
- Graph Grammars and Petri Net TransformationsHartmut Ehrig, Julia Padberg. 496-536 [doi]
- Message Sequence ChartsBlaise Genest, Anca Muscholl, Doron Peled. 537-558 [doi]
- Model-Based Development of Executable Business Processes for Web ServicesReiko Heckel, Hendrik Voigt. 559-584 [doi]
- Modelling and Control with Modules of Signal NetsGabriel Juhás, Robert Lorenz, Christian Neumair. 585-625 [doi]
- Application of Coloured Petri Nets in System DevelopmentLars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen. 626-685 [doi]
- Bigraphs for Petri NetsRobin Milner. 686-701 [doi]
- Notes on Timed Concurrent Constraint ProgrammingMogens Nielsen, Frank D. Valencia. 702-741 [doi]
- Petri Nets and Manufacturing Systems: An Examples-Driven TourLaura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel. 742-788 [doi]
- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded SystemsAbhik Roychoudhury, P. S. Thiagarajan. 789-818 [doi]
- Object Petri Nets: Using the Nets-within-Nets ParadigmRüdiger Valk. 819-848 [doi]