Advertisement

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

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
  7. Tools

    1. Front Matter
      Pages 337-337
    2. Karsten Wolf
      Pages 351-362
    3. Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
      Pages 363-373
    4. Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma
      Pages 374-384
    5. Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon
      Pages 385-395
    6. Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira
      Pages 396-405
    7. Elvio Gilberto Amparore, Susanna Donatelli
      Pages 416-425
  8. Back Matter
    Pages 427-427

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-91268-4
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-91267-7
  • Online ISBN 978-3-319-91268-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site