Application and Theory of Petri Nets and Concurrency

37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

  • Fabrice Kordon
  • Daniel Moldt
Conference proceedings PETRI NETS 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9698)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Distinguished Carl Adam Petri Lecture

    1. Front Matter
      Pages 1-1
    2. Ian Foster
      Pages 3-10
  3. Invited Talks

  4. Petri Net Synthesis

    1. Front Matter
      Pages 37-37
    2. Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel
      Pages 39-58
    3. Eike Best, Raymond Devillers
      Pages 59-78
  5. Tools

    1. Front Matter
      Pages 99-99
    2. András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor et al.
      Pages 123-132
  6. Applications

    1. Front Matter
      Pages 133-133
    2. Lars Michael Kristensen, Vegard Veiset
      Pages 135-154
    3. Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle
      Pages 196-215
  7. Conformance Checking

    1. Front Matter
      Pages 217-217
    2. H. M. W. Verbeek, W. M. P. van der Aalst
      Pages 219-239
  8. Time and Stochastic Models

    1. Front Matter
      Pages 259-259
    2. Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux
      Pages 261-280
    3. Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek
      Pages 281-300
    4. S. Akshay, B. Genest, L. Hélouët
      Pages 301-322
  9. Structural Methods

    1. Front Matter
      Pages 323-323
  10. Back Matter
    Pages 345-345

About these proceedings


This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.

The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. 

Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume. 


Petri Nets Concurrency Formal Methods Verification Synthesis timed verification stochastic verification tools for verification structural properties Modelling simulation validation

Editors and affiliations

  1. 1.Université Pierre and Marie CurieParisFrance
  2. 2.Department InformatikUniversität Hamburg Department InformatikHamburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-39085-7
  • Online ISBN 978-3-319-39086-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software