© 2018

Application and Theory of Petri Nets and Concurrency

39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

  • Victor Khomenko
  • Olivier H. Roux
Conference proceedings PETRI NETS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Fabrice Kordon, Yann Thierry-Mieg
      Pages 3-15
  3. Petri Net Synthesis

    1. Front Matter
      Pages 17-17
    2. Raymond Devillers, Thomas Hujsa
      Pages 19-39
    3. Ronny Tredup, Christian Rosenke, Karsten Wolf
      Pages 40-59
    4. Karsten Wolf
      Pages 60-81
    5. Raymond Devillers, Uli Schlachter
      Pages 82-98
    6. Uli Schlachter, Harro Wimmel
      Pages 99-116
    7. Eike Best, Nataliya Gribovskaya, Irina Virbitskaite
      Pages 117-139
  4. Analysis and Model Checking

    1. Front Matter
      Pages 141-141
    2. Frederik Bønneland, Jakob Dyhr, Peter G. Jensen, Mads Johannsen, Jiří Srba
      Pages 143-163
    3. Petr Jančar, Jérôme Leroux, Grégoire Sutre
      Pages 184-203
  5. Languages

    1. Front Matter
      Pages 205-205
    2. David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
      Pages 207-226
    3. Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski
      Pages 227-247
  6. Semantics and Expressiveness

    1. Front Matter
      Pages 249-249
    2. Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
      Pages 272-293

About these proceedings


This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in  Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018.

The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.


computer software selection and evaluation concurrency graph theory higher-level models model-checking partial order petri nets semantics software engineering specification system design timed and stochastic nets verification

Editors and affiliations

  • Victor Khomenko
    • 1
  • Olivier H. Roux
    • 2
  1. 1.University of NewcastleNewcastle upon TyneUnited Kingdom
  2. 2.École Centrale de NantesNantes Cedex 3France

Bibliographic information