Application and Theory of Petri Nets and Concurrency

34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

  • José-Manuel Colom
  • Jörg Desel
Conference proceedings PETRI NETS 2013

DOI: 10.1007/978-3-642-38697-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7927)

Table of contents (22 papers)

  1. Front Matter
  2. Invited Papers

  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. A Semantics for Every GSPN
      Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
      Pages 90-109
    4. 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
    5. On Multi-enabledness in Time Petri Nets
      Hanifa Boucheneb, Didier Lime, Olivier H. Roux
      Pages 130-149
    6. Complexity Results for Elementary Hornets
      Michael Köhler-Bußmeier, Frank Heitmann
      Pages 150-169
    7. Complexity Analysis of Continuous Petri Nets
      Estíbaliz Fraca, Serge Haddad
      Pages 170-189
    8. Step Persistence in the Design of GALS Systems
      Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
      Pages 190-209
    9. A Taxonomy of Persistent and Nonviolent Steps
      Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
      Pages 210-229
    10. Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology
      David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders
      Pages 230-249
    11. 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
    12. Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case
      Matthias Weidlich, Jan Mendling, Avigdor Gal
      Pages 270-290
    13. Hierarchical Conformance Checking of Process Models Based on Event Logs
      Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
      Pages 291-310
    14. 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
    15. Unifying the Semantics of Modular Extensions of Petri Nets
      Alexis Marechal, Didier Buchs
      Pages 349-368

About these proceedings


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

Editors and affiliations

  • José-Manuel Colom
    • 1
  • Jörg Desel
    • 2
  1. 1.Departamento de Informática e Ingeniería de SistemasUniversidad de ZaragozaZaragozaSpain
  2. 2.Fernuniversität Hagen, IZHagenGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38696-1
  • Online ISBN 978-3-642-38697-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349