Accepted Contributions
This page contains the complete accepted paper list.
Regular Papers
- Michal Ajdarow. Algorithmic Asymptotic Analysis of Expected Complexity in VASS MDPs
- Christoffer Lind Andersen, Radu Iosif and Arnaud Sangnier. Safety Analysis in Broadcast Networks defined by Graph Grammars
- Sofia Bellotti, Thomas Chatain and Paolo Ballarini. Aligning Observed Timed Traces with Timed Stochastic Models
- Debjyoti Bera and Tim Willemse. Constructing Weakly Terminating Interface Protocols
- Eike Best and Raymond Devillers. Persistent Permutability Implies Persistence for Pure Dissymmetric Choice Petri Nets
- Alex Chan, Mohamed Tarraf, Rishad Shafik and Alex Yakovlev. ANIMATE: Automated Framework for Scalable Design of Tsetlin Machines using 1-safe Petri nets
- Laif-Oke Clasen, Justus Middendorf, Felix Gorke, Jens Brüggemann, Lukas Eshun, Efe Nayci, Marie Chevalier, Simon Bott and Daniel Moldt. Supporting Modularity by (De-)Composition of Distributed P/T Nets based on Karger's Algorithm for Distributed Execution
- Sami Evangelista, Lars Kristensen and Laure Petrucci. Preserving LTL Properties in Sweep-Line State Space Exploration with Partial-Order Reduction
- Sabine Folz-Weinstein, Michael Gößwein, Christian Beecks and Robin Bergenthum. Conformance Checking for Partially Ordered Event Logs using Token-Based Replay
- Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli and Lea Terracini. Old and new perspectives on Petri nets flows
- Serge Haddad and Amber Agarwal. Maximal Firing Semantics for Continuous and Ordinary Petri Nets
- Maciej Koutny, Ryszard Janicki, Łukasz Mikulski and Rajiv Ranjan. Towards General Trace Theory
- Christopher T. Schwanen, Wied Pakusa and Wil M. P. van der Aalst. Coming Home for Blocking Transitions
- Sophie Wallner, Julian Gaede, Lukas Zech and Karsten Wolf. Coverability Abstraction for the Modular State Space
Tool Papers
- Emanuele Chini, Daniel Amadori, Pietro Sala, Sidra Nasir Rajput, Matteo Baldi and Mattia Cappelletti. PACO: a Petri Net-based tool for designing, simulating, and analyzing multi-objectives stochastic processes
- Tsung-Hao Huang, Lukas Jansen, Marco Pegoraro and Wil van der Aalst. IsoNet: Property-Preserving Hierarchical Decomposition of Workflow Nets
- Christian Imenkamp, Agnes Koschmider, Christoph Matheja and Andrey Rivkin. A Web-Based Tool for Modeling, Simulation, and Analysis of Petri Nets with Data
- Gabriel Juhás, Juraj Mažári, Tomáš Kováčik, Milan Mladoniczky and Matej Chvostek. Netgrif Platform: A Tool for Executable Models of Object-Centric Processes in Petriflow Language
- Marc Kimmel, Robert Lorenz and Patrizia Schalk. Petri-Dish: A Petri Net Survey Tool for Education and Research
- István Koren. OCPN Studio: Web-Based Modeling, Simulation, and Analysis of Object-Centric Petri Nets