Transactions on Petri Nets and Other Models of Concurrency XIV

1. Front Matter

   Pages i-xvii

   PDF

2. A Tour in Process Mining: From Practice to Algorithmic Challenges

   • Wil van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn van Dongen

   Pages 1-35

3. How Petri Net Theory Serves Petri Net Model Checking: A Survey

   • Karsten Wolf

   Pages 36-63

4. Parametric Verification: An Introduction

   • Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci

   Pages 64-100

5. Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

   • David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz

   Pages 101-125

6. Formal Modelling and Incremental Verification of the MQTT IoT Protocol

   • Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle

   Pages 126-145

7. Kleene Theorems for Free Choice Automata over Distributed Alphabets

   • Ramchandra Phawade

   Pages 146-171

8. Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

   • Raymond Devillers, Evgeny Erofeev, Thomas Hujsa

   Pages 172-191

9. Evaluating Conformance Measures in Process Mining Using Conformance Propositions

   • Anja F. Syring, Niek Tax, Wil M. P. van der Aalst

   Pages 192-221

10. Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

    • Uli Schlachter, Harro Wimmel

    Pages 222-254

11. Back Matter

    Pages 255-255

    PDF

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

• graph theory
• internet
• petri nets
• semantics
• software engineering
• data structures

• Newcastle University, Newcastle upon Tyne, UK

  Maciej Koutny

• Università degli Studi di Milano, Milan, Italy

  Lucia Pomello

• Western Norway University of Applied Sciences, Bergen, Norway

  Lars Michael Kristensen

Policies and ethics