Application and Theory of Petri Nets and Concurrency

38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

  • Wil van der Aalst
  • Eike Best
Conference proceedings PETRI NETS 2017
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10258)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Christos G. Cassandras
      Pages 12-18
    3. Irina A. Lomazova
      Pages 19-34
  3. Simulation of Colored Petri Nets

    1. Front Matter
      Pages 35-35
    2. Franck Pommereau, Jordan de la Houssaye
      Pages 37-56
    3. Xiangdong Huang, Jianmin Wang, Jialin Qiao, Liangfan Zheng, Jinrui Zhang, Raymond K. Wong
      Pages 78-98
  4. Petri Net Tools

    1. Front Matter
      Pages 99-99
    2. Benjamin Meis, Robin Bergenthum, Jörg Desel
      Pages 101-111
    3. Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
      Pages 112-124
    4. Lom Messan Hillah, Fabrice Kordon
      Pages 125-135
  5. Model Checking

    1. Front Matter
      Pages 137-137
    2. Andreas E. Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann et al.
      Pages 139-158
    3. Karsten Wolf
      Pages 159-178
  6. Liveness and Opacity

    1. Front Matter
      Pages 179-179
    2. Luca Bernardinello, Görkem Kılınç, Lucia Pomello
      Pages 181-199
    3. Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
      Pages 200-220
  7. Stochastic Petri Nets

    1. Front Matter
      Pages 221-221

About these proceedings

Introduction

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

The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking,  Liveness and Opacity,  Stochastic Petri Nets,  Specific Net Classes, and  Petri Nets for Pathways.

Keywords

automata theory distributed systems formal methods model checking process modeling concurrency decision diagram fast simulation formal languages higher-level net models model-driven software engineering parallel computing parameterized complexity petri nets process calculi protocol verification reachability structural analysis system design verification

Editors and affiliations

  • Wil van der Aalst
    • 1
  • Eike Best
    • 2
  1. 1.Department of Mathematics and Computer Science (MF 7.103)Eindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Carl von Ossietzky Universität OldenburgOldenburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-57861-3
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-57860-6
  • Online ISBN 978-3-319-57861-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349