Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings (Lecture Notes in Computer Science (10877))

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 19 th 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. Front Matter ....Pages I-XI Front Matter ....Pages 1-1 Self-adaptive Model Checking, the Next Step? (Fabrice Kordon, Yann Thierry-Mieg)....Pages 3-15 Front Matter ....Pages 17-17 Analysis and Synthesis of Weighted Marked Graph Petri Nets (Raymond Devillers, Thomas Hujsa)....Pages 19-39 Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs (Ronny Tredup, Christian Rosenke, Karsten Wolf)....Pages 40-59 Petri Net Synthesis with Union/Find (Karsten Wolf)....Pages 60-81 Factorisation of Petri Net Solvable Transition Systems (Raymond Devillers, Uli Schlachter)....Pages 82-98 A Geometric Characterisation of Event/State Separation (Uli Schlachter, Harro Wimmel)....Pages 99-116 From Event-Oriented Models to Transition Systems (Eike Best, Nataliya Gribovskaya, Irina Virbitskaite)....Pages 117-139 Front Matter ....Pages 141-141 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 Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis (Engel Lefaucheux, Alessandro Giua, Carla Seatzu)....Pages 164-183 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 Front Matter ....Pages 205-205 An Efficient Characterization of Petri Net Solvable Binary Words (David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski)....Pages 207-226 Pattern Matching in Link Streams: A Token-Based Approach (Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski)....Pages 227-247 Front Matter ....Pages 249-249 Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains (Ryszard Janicki)....Pages 251-271 One Net Fits All (Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk)....Pages 272-293 On the Structure of Cycloids Introduced by Carl Adam Petri (Rüdiger Valk)....Pages 294-314 Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions (Wil M. P. van der Aalst)....Pages 315-336 Front Matter ....Pages 337-337 ePNK Applications and Annotations: A Simulator for YAWL Nets (Ekkart Kindler)....Pages 339-350 Petri Net Model Checking with LoLA 2 (Karsten Wolf)....Pages 351-362 Integrating Simulink Models into the Model Checker Cosmos (Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad)....Pages 363-373 LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World (Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma)....Pages 374-384 A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning (Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon)....Pages 385-395 Arduino Library Developed for Petri Net Inserted into RFID Database and Variants (Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira)....Pages 396-405 OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica (Christoph Brinkrolf, Philo Reipke)....Pages 406-415 GreatTeach: A Tool for Teaching (Stochastic) Petri Nets (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 416-425 Back Matter ....Pages 427-427