© 2019

Application and Theory of Petri Nets and Concurrency

40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

  • Susanna Donatelli
  • Stefan Haar
Conference proceedings PETRI NETS 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Models

    1. Front Matter
      Pages 1-1
    2. Vitali Schneider, Walter Vogler
      Pages 25-46
    3. Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
      Pages 47-66
  3. Tools

    1. Front Matter
      Pages 67-67
    2. Jan Henrik Röwekamp, Daniel Moldt
      Pages 69-79
    3. Matteo Camilli, Lorenzo Capra, Carlo Bellettini
      Pages 80-90
    4. Jan Martijn E. M. van der Werf, Lucas Steehouwer
      Pages 91-100
    5. Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann
      Pages 101-110
  4. Synthesis

  5. Semantics

    1. Front Matter
      Pages 169-169
    2. David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
      Pages 171-191
    3. Łukasz Mikulski, Ivan Lanese
      Pages 213-233
  6. Concurrent Processes

    1. Front Matter
      Pages 235-235
    2. Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
      Pages 237-257

About these proceedings


This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.
The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.


artificial intelligence automata theory computer architecture computer programming databases formal logic formal methods graph theory High-level Petri nets model checking petri nets programming languages query languages semantics software engineering software evaluation verification

Editors and affiliations

  1. 1.Università di TorinoTurinItaly
  2. 2.Inria and LSV, CNRS & ENS Paris-SaclayCachan CedexFrance

Bibliographic information

Industry Sectors
IT & Software