| 2021 | A Lazy Query Scheme for Reachability Analysis in Petri Nets. Loïg Jezequel, Didier Lime, Bastien Sérée |
| 2021 | A Turn-Based Approach for Qualitative Time Concurrent Games. Serge Haddad, Didier Lime, Olivier H. Roux |
| 2021 | Abstraction-Based Incremental Inductive Coverability for Petri Nets. Jiawen Kang, Yunjun Bai, Li Jiao |
| 2021 | Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings Didier Buchs, Josep Carmona |
| 2021 | Automatic Synthesis of Transiently Correct Network Updates via Petri Games. Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba |
| 2021 | Canonical Representations for Direct Generation of Strategies in High-Level Petri Games. Manuel Gieseking, Nick Würdemann |
| 2021 | Computing Parameterized Invariants of Parameterized Petri Nets. Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
| 2021 | Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling. Daniel Schuster, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
| 2021 | Cost and Quality in Crowdsourcing Workflows. Loïc Hélouët, Zoltán Miklós, Rituraj Singh |
| 2021 | Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets. Rüdiger Valk |
| 2021 | Deterministic Concurrent Systems. Samy Abbes |
| 2021 | Discovering Stochastic Process Models by Reduction and Abstraction. Adam Burke, Sander J. J. Leemans, Moe Thandar Wynn |
| 2021 | Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable. Ronny Tredup |
| 2021 | Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. Pierre Bouvier, Hubert Garavel |
| 2021 | Firing Partial Orders in a Petri Net. Robin Bergenthum |
| 2021 | Flat Petri Nets (Invited Talk). Jérôme Leroux |
| 2021 | Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. Michael Haustermann, David Mosteller, Daniel Moldt |
| 2021 | On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio |
| 2021 | PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. Marco Pegoraro, Merih Seran Uysal, Wil M. P. van der Aalst |
| 2021 | Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets. Wil M. P. van der Aalst |
| 2021 | Skeleton Abstraction for Universal Temporal Properties. Sophie Wallner, Karsten Wolf |
| 2021 | Synthesis of (Choice-Free) Reset Nets. Raymond Devillers |
| 2021 | Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized. Ronny Tredup |
| 2021 | Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Rémi Parrot, Mikaël Briday, Olivier H. Roux |
| 2021 | Topics in Region Theory and Synthesis Problems. Luca Bernardinello |