Application and Theory of Petri Nets and Concurrency

36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

  • Raymond Devillers
  • Antti Valmari
Conference proceedings PETRI NETS 2015

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Mohammed Alqarni, Ryszard Janicki
    Pages 77-97
  3. Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi
    Pages 98-116
  4. Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
    Pages 117-136
  5. Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
    Pages 137-156
  6. Javier Esparza, Jörg Desel
    Pages 157-178
  7. Monika Heiner, Martin Schwarick, Jan-Thierry Wegener
    Pages 200-211
  8. Eric Badouel, Loïc Hélouët, Christophe Morvan
    Pages 212-233
  9. Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon
    Pages 234-253
  10. Marvin Triebel, Jan Sürmeli
    Pages 266-286
  11. Wil M. P. van der Aalst, Anna Kalenkova, Vladimir Rubin, Eric Verbeek
    Pages 287-308
  12. Ákos Hajdu, András Vörös, Tamás Bartha
    Pages 309-328
  13. Back Matter
    Pages 351-351

About these proceedings


This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.

The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.


Business process modeling Concurrency Concurrent systems Formal methods Model checking Models of computation Petri nets Process models Program semantics Real-time systems Software notations and tools Software system models Stochastic processes Theory of computation Verification by model checking

Editors and affiliations

  • Raymond Devillers
    • 1
  • Antti Valmari
    • 2
  1. 1.Université Libre de BruxellesBrusselsBelgium
  2. 2.Tampere University of TechnologyTampereFinland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-19487-5
  • Online ISBN 978-3-319-19488-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site