Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings

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