Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets and Concurrency

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Victor Khomenko

    1. University of Newcastle, Newcastle upon Tyne, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Olivier H. Roux

    1. École Centrale de Nantes, Nantes Cedex 3, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Self-adaptive Model Checking, the Next Step?

      • Fabrice Kordon, Yann Thierry-Mieg
      Pages 3-15

  3. Petri Net Synthesis

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Analysis and Synthesis of Weighted Marked Graph Petri Nets

      • Raymond Devillers, Thomas Hujsa
      Pages 19-39

    3. Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs

      • Ronny Tredup, Christian Rosenke, Karsten Wolf
      Pages 40-59

    4. Petri Net Synthesis with Union/Find

      • Karsten Wolf
      Pages 60-81

    5. Factorisation of Petri Net Solvable Transition Systems

      • Raymond Devillers, Uli Schlachter
      Pages 82-98

    6. A Geometric Characterisation of Event/State Separation

      • Uli Schlachter, Harro Wimmel
      Pages 99-116

    7. From Event-Oriented Models to Transition Systems

      • Eike Best, Nataliya Gribovskaya, Irina Virbitskaite
      Pages 117-139

  4. Analysis and Model Checking

    1. Front Matter

      Pages 141-141
      Download chapter PDF

    2. Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

      • Frederik Bønneland, Jakob Dyhr, Peter G. Jensen, Mads Johannsen, Jiří Srba
      Pages 143-163

    3. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis

      • Engel Lefaucheux, Alessandro Giua, Carla Seatzu
      Pages 164-183

    4. Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States

      • Petr Jančar, Jérôme Leroux, Grégoire Sutre
      Pages 184-203

  5. Languages

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. An Efficient Characterization of Petri Net Solvable Binary Words

      • David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
      Pages 207-226

    3. Pattern Matching in Link Streams: A Token-Based Approach

      • Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski
      Pages 227-247

  6. Semantics and Expressiveness

    1. Front Matter

      Pages 249-249
      Download chapter PDF

    2. Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains

      • Ryszard Janicki
      Pages 251-271

    3. One Net Fits All

      • Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
      Pages 272-293
Back to top

Other volumes

  1. Application and Theory of Petri Nets and Concurrency

Keywords

About this book

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.

Editors and Affiliations

  • University of Newcastle, Newcastle upon Tyne, United Kingdom

    Victor Khomenko

  • École Centrale de Nantes, Nantes Cedex 3, France

    Olivier H. Roux

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation