Application and Theory of Petri Nets and Concurrency

1. Front Matter

   PDF

2. Invited Papers

   1. The Right Timing: Reflections on the Modeling and Analysis of Time

      • Kees van Hee, Natalia Sidorova

      Pages 1-20

   2. Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets

      • Stéphane Lafortune, Yin Wang, Spyros Reveliotis

      Pages 21-28

3. Regular Papers

   1. Contextual Merged Processes

      • César Rodríguez, Stefan Schwoon, Victor Khomenko

      Pages 29-48

   2. ω-Petri Nets

      • Gilles Geeraerts, Alexander Heussner, M. Praveen, Jean-François Raskin

      Pages 49-69

   3. Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets

      • Ernst W. Mayr, Jeremias Weihmann

      Pages 70-89

   4. A Semantics for Every GSPN

      • Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang

      Pages 90-109

   5. Expressing and Computing Passage Time Measures of GSPN Models with HASL

      • Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

      Pages 110-129

   6. On Multi-enabledness in Time Petri Nets

      • Hanifa Boucheneb, Didier Lime, Olivier H. Roux

      Pages 130-149

   7. Complexity Results for Elementary Hornets

      • Michael Köhler-Bußmeier, Frank Heitmann

      Pages 150-169

   8. Complexity Analysis of Continuous Petri Nets

      • Estíbaliz Fraca, Serge Haddad

      Pages 170-189

   9. Step Persistence in the Design of GALS Systems

      • Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev

      Pages 190-209

   10. A Taxonomy of Persistent and Nonviolent Steps

       • Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny

       Pages 210-229

   11. Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology

       • David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders

       Pages 230-249

   12. The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework

       • Monica Clemente, Maria Pia Fanti, Agostino M. Mangini, Walter Ukovich

       Pages 250-269

   13. Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case

       • Matthias Weidlich, Jan Mendling, Avigdor Gal

       Pages 270-290

   14. Hierarchical Conformance Checking of Process Models Based on Event Logs

       • Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst

       Pages 291-310

   15. Discovering Block-Structured Process Models from Event Logs - A Constructive Approach

       • Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst

       Pages 311-329

   16. Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows

       • Robin Bergenthum

       Pages 330-348

   17. Unifying the Semantics of Modular Extensions of Petri Nets

       • Alexis Marechal, Didier Buchs

       Pages 349-368

This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

• biomodel engineering
• colored petri nets
• model checking
• process mining
• timed and stochastic nets
• data structures

• Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Zaragoza, Spain

  José-Manuel Colom

• Fernuniversität Hagen, IZ, Hagen, Germany

  Jörg Desel

Policies and ethics