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)

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

About these proceedings

Introduction

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. 

Keywords

Computer Science Informatics Conference Proceedings Research Applications

Editors and affiliations

  • Fabrice Kordon
    • 1
  • Daniel Moldt
    • 2
  1. 1.Université Pierre and Marie CurieParisFrance
  2. 2.Department InformatikUniversität HamburgHamburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-39086-4
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-39085-7
  • Online ISBN 978-3-319-39086-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349