Transactions on Petri Nets and Other Models of Concurrency XIV

Description

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. Front Matter ....Pages i-xvii A Tour in Process Mining: From Practice to Algorithmic Challenges (Wil van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn van Dongen)....Pages 1-35 How Petri Net Theory Serves Petri Net Model Checking: A Survey (Karsten Wolf)....Pages 36-63 Parametric Verification: An Introduction (Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci)....Pages 64-100 Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics (David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz)....Pages 101-125 Formal Modelling and Incremental Verification of the MQTT IoT Protocol (Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle)....Pages 126-145 Kleene Theorems for Free Choice Automata over Distributed Alphabets (Ramchandra Phawade)....Pages 146-171 Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach (Raymond Devillers, Evgeny Erofeev, Thomas Hujsa)....Pages 172-191 Evaluating Conformance Measures in Process Mining Using Conformance Propositions (Anja F. Syring, Niek Tax, Wil M. P. van der Aalst)....Pages 192-221 Relabelling LTS for Petri Net Synthesis via Solving Separation Problems (Uli Schlachter, Harro Wimmel)....Pages 222-254 Back Matter ....Pages 255-255