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

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Regular Papers

    1. César Rodríguez, Stefan Schwoon, Victor Khomenko
      Pages 29-48
    2. Gilles Geeraerts, Alexander Heussner, M. Praveen, Jean-François Raskin
      Pages 49-69
    3. Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
      Pages 90-109
    4. Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
      Pages 110-129
    5. Hanifa Boucheneb, Didier Lime, Olivier H. Roux
      Pages 130-149
    6. Michael Köhler-Bußmeier, Frank Heitmann
      Pages 150-169
    7. Estíbaliz Fraca, Serge Haddad
      Pages 170-189
    8. Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
      Pages 190-209
    9. Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
      Pages 210-229
    10. David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders
      Pages 230-249
    11. Monica Clemente, Maria Pia Fanti, Agostino M. Mangini, Walter Ukovich
      Pages 250-269
    12. Matthias Weidlich, Jan Mendling, Avigdor Gal
      Pages 270-290
    13. Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
      Pages 291-310
    14. Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst
      Pages 311-329
    15. Alexis Marechal, Didier Buchs
      Pages 349-368

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-38697-8
  • 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
  • About this book