| 2019 | Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings Susanna Donatelli, Stefan Haar |
| 2019 | Articulation of Transition Systems and Its Application to Petri Net Synthesis. Raymond Devillers |
| 2019 | CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. Jan Martijn E. M. van der Werf, Lucas Steehouwer |
| 2019 | Concurrent Programming from pseuCo to Petri. Felix Freiberger, Holger Hermanns |
| 2019 | Coverability and Termination in Recursive Petri Nets. Alain Finkel, Serge Haddad, Igor Khmelnitsky |
| 2019 | Describing Behavior of Processes with Many-to-Many Interactions. Dirk Fahland |
| 2019 | Finding Complex Process-Structures by Exploiting the Token-Game. Lisa Luise Mannel, Wil M. P. van der Aalst |
| 2019 | Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets. Ronny Tredup |
| 2019 | From DB-nets to Coloured Petri Nets with Priorities. Marco Montali, Andrey Rivkin |
| 2019 | Generalized Alignment-Based Trace Clustering of Process Behavior. Mathilde Boltenhagen, Thomas Chatain, Josep Carmona |
| 2019 | Hardness Results for the Synthesis of b-bounded Petri Nets. Ronny Tredup |
| 2019 | Improving Saturation Efficiency with Implicit Relations. Shruti Biswal, Andrew S. Miner |
| 2019 | Modal Open Petri Nets. Vitali Schneider, Walter Vogler |
| 2019 | On Interval Semantics of Inhibitor and Activator Nets. Ryszard Janicki |
| 2019 | PNemu: An Extensible Modeling Library for Adaptable Distributed Systems. Matteo Camilli, Lorenzo Capra, Carlo Bellettini |
| 2019 | Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Didier Lime, Olivier H. Roux, Charlotte Seidner |
| 2019 | Parameterized Analysis of Immediate Observation Petri Nets. Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy |
| 2019 | RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes. Jan Henrik Röwekamp, Daniel Moldt |
| 2019 | Reversing Steps in Petri Nets. David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski |
| 2019 | Reversing Unbounded Petri Nets. Lukasz Mikulski, Ivan Lanese |
| 2019 | Saturation Enhanced with Conditional Locality: Application to Petri Nets. Vince Molnár, István Majzik |
| 2019 | Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2019 | Taking Some Burden Off an Explicit CTL Model Checker. Torsten Liebke, Karsten Wolf |
| 2019 | The Combinatorics of Barrier Synchronization. Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski |
| 2019 | Tools for Curry-Coloured Petri Nets. Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann |