| 2020 | A CTL* Model Checker for Petri Nets. Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà |
| 2020 | A New Property of Choice-Free Petri Net Systems. Eike Best, Raymond Devillers, Evgeny Erofeev |
| 2020 | A Study on Team Bisimulations for BPP Nets. Roberto Gorrieri |
| 2020 | Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings Ryszard Janicki, Natalia Sidorova, Thomas Chatain |
| 2020 | Automated Repair of Process Models Using Non-local Constraints. Anna A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa |
| 2020 | Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Pierre Bouvier, Hubert Garavel, Hernán Ponce de León |
| 2020 | Circular Traffic Queues and Petri's Cycloids. Rüdiger Valk |
| 2020 | Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. Jörg Desel, Marc Finthammer, Andrea Frank |
| 2020 | Data Centric Workflows for Crowdsourcing. Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh |
| 2020 | Dynamic Recursive Petri Nets. Serge Haddad, Igor Khmelnitsky |
| 2020 | Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner |
| 2020 | Interleaving vs True Concurrency: Some Instructive Security Examples. Roberto Gorrieri |
| 2020 | MCC: A Tool for Unfolding Colored Petri Nets in PNML Format. Silvano Dal-Zilio |
| 2020 | On the High Complexity of Petri Nets ømega-Languages. Olivier Finkel |
| 2020 | On-the-Fly Synthesis for Strictly Alternating Games. Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba |
| 2020 | PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets. Guanjun Liu |
| 2020 | Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri |
| 2020 | Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Xavier Allamigeon, Marin Boyet, Stéphane Gaubert |
| 2020 | 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 |
| 2020 | SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
| 2020 | Structural Reductions Revisited. Yann Thierry-Mieg |
| 2020 | Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba |
| 2020 | The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. Jan Martijn E. M. van der Werf, Artem Polyvyanyy |
| 2020 | Visualizing Token Flows Using Interactive Performance Spectra. Wil M. P. van der Aalst, Daniel Tacke genannt Unterberg, Vadim Denisov, Dirk Fahland |