Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings (Theoretical ... Science and General Issues Book 12152)

This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 17 regular and 6 tool papers presented together in this volume were carefully reviewed and selected from 56 submissions. The focus of the conference is on following topics: application of concurrency to system design; languages and synthesis; semantics; process mining and applications; extensions and model checking; tools. -- Provided by publisher Front Matter ....Pages i-xi Front Matter ....Pages 1-1 Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Pierre Bouvier, Hubert Garavel, Hernán Ponce-de-León)....Pages 3-23 Data Centric Workflows for Crowdsourcing (Pierre Bourhis, Loïc Hélouët, Zoltan Miklos, Rituraj Singh)....Pages 24-45 Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Isabella Kaufmann, Kim Guldstrand Larsen, Jiří Srba)....Pages 46-66 Front Matter ....Pages 67-67 On the High Complexity of Petri Nets \(\omega \)-Languages (Olivier Finkel)....Pages 69-88 A New Property of Choice-Free Petri Net Systems (Eike Best, Raymond Devillers, Evgeny Erofeev)....Pages 89-108 On-the-Fly Synthesis for Strictly Alternating Games (Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba)....Pages 109-128 Front Matter ....Pages 129-129 Interleaving vs True Concurrency: Some Instructive Security Examples (Roberto Gorrieri)....Pages 131-152 A Study on Team Bisimulations for BPP Nets (Roberto Gorrieri)....Pages 153-175 Circular Traffic Queues and Petri’s Cycloids (Rüdiger Valk)....Pages 176-195 PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Guanjun Liu)....Pages 196-216 Front Matter ....Pages 217-217 Petri Nets Validation of Markovian Models of Emergency Department Arrivals (Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri)....Pages 219-238 Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources (Vadim Denisov, Dirk Fahland, Wil M. P. van der Aalst)....Pages 239-259 Piecewise Affine Dynamical Models of Timed Petri Nets – Application to Emergency Call Centers (Xavier Allamigeon, Marin Boyet, Stéphane Gaubert)....Pages 260-279 Automated Repair of Process Models Using Non-local Constraints (Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa)....Pages 280-300 Front Matter ....Pages 301-301 Structural Reductions Revisited (Yann Thierry-Mieg)....Pages 303-323 Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams (Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner)....Pages 324-344 Dynamic Recursive Petri Nets (Serge Haddad, Igor Khmelnitsky)....Pages 345-366 Front Matter ....Pages 367-367 Visualizing Token Flows Using Interactive Performance Spectra (Wil M. P. van der Aalst, Daniel Tacke Genannt Unterberg, Vadim Denisov, Dirk Fahland)....Pages 369-380 SNexpression: A Symbolic Calculator for Symmetric Net Expressions (Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis)....Pages 381-391 Cycl\(\mathbf {\circlearrowright }\)n – A Tool for Determining Stop-Transitions of Petri Nets (Jörg Desel, Marc Finthammer, Andrea Frank)....Pages 392-402 A CTL* Model Checker for Petri Nets (Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà)....Pages 403-413 The Information Systems Modeling Suite (Jan Martijn E. M. van der Werf, Artem Polyvyanyy)....Pages 414-425 MCC: A Tool for Unfolding Colored Petri Nets in PNML Format (Silvano Dal Zilio)....Pages 426-435 Back Matter ....Pages 437-437