| Time | Authors | Title | Courses 3-4 |
|---|---|---|---|
| 9:00--10:30 | Opening |
Lecturer: Karsten Wolf Petri Net Course 3: Verification and Model Checking of Petri Nets |
|
| Babette Dellen, Michael Köhler-Bußmeier, Wied Pakusa and Jan Sudeikat | LAMAS: An Organisation-centred Architecture for Agentic AI | ||
| Simon Tjell | CSharPN: A Code-First Framework for Coloured Petri Net Modelling with C# as Inscription Language | ||
| Marcel Hansson, Marvin Brendel, Daniel Moldt and Laif-Oke Clasen | Signing of Reference Nets | ||
| Erik Jonas Hartnick, Mandy Weißbach and Thomas Kühn | On Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets | ||
| Marcel Hansson, Daniel Moldt, Kim Wittenburg and Christian Bracker | WatchPoints for Renew | ||
| 10:30--11:00 | Coffee Break | ||
| 11:00--12:45 | Eleftheria Kouppari, Anna Philippou and Yannis Dimopoulos | Declarative Modelling and Analysis of Reversing Petri Nets | |
| Lukas Seifert, Niklas Levens, Leon Zander, Philipp Schult, Sonja Kagan, Ole Methler, Marcel Hansson and Daniel Moldt | Towards Roundtrip Engineering for Java and Agent Interaction Protocols with Petri Net-based Semantics | ||
| Gabriel Juhás, Juraj Mažári, Milan Mladoniczky and Tomáš Kováčik | Petriflow Query Language | ||
| Thomas M. Prinz, Wil M. P. van der Aalst, Christopher T. Schwanen and Yongsun Choi | Loop Home Markings (Looms) in Free-Choice Nets with Home Clusters | ||
| Michael Köhler-Bußmeier, Lorenzo Capra and Heiko Rölke | Modelling Multi-Level Learning in Multi-Agent-Systems with Stochastic Nets-within-Nets | ||
| 12:45--14:00 | Lunch Break | ||
| 14:00--15:30 | Invited Talk: Wilhelm Hasselbring |
Lecturer: Susanna Donatelli Petri Net Course 4: Timed and Stochastic Petri Nets |
|
| Laif-Oke Clasen, Justus Middendorf, Leo Grimme, Leven Wichelmann, Finn Bolinius, Sam Knoop and Daniel Moldt | Distributed Colored Petri Net Simulation -- Synchronized Transitions Based on Event Streaming | ||
| 15:30--16:00 | Coffee Break | ||
| 16:00--17:30 | Invited Talk 2: TBC (shared with PNAS'26) | ||
| Finn Wellershaus, Michael Köhler-Bußmeier and Jan Sudeikat | Organisational Mode Switching for Controlled Run-Time Adaptation in Industrial Multi-Agent Systems | ||
| 17:30--18:30 | Poster Session |
| Time | Authors | Title | Tutorial |
|---|---|---|---|
| 8:30--9:00 | Opening (PHOCON'26) | ||
| 9:00--10:00 | Stefan Haar | Beyond atomic firing |
Lecturer: Jan Martijn van der Werf / Andrey Rivkin Object-centric Process Modeling and Analysis: A Short Avant-Garde Journey |
| 10:00--10:40 | Maciej Koutny and Łukasz Mikulski | Structured Concurrency Semantics for Series-Parallel Orders | |
| Luca Bernardinello, Carlo Ferigato and Lucia Pomello | Orthomodular Lattices in Combinatorial Posets Modelling Concurrent Processes | ||
| 10:40--11:10 | Coffee Break | ||
| 11:10--12:30 | Adwitee Roy, B. Srivathsan and Madhavan Mukund | A Local-Time Semantics for Negotiations | |
| Serge Lechenne and Hugo Paquet | Universal Properties of Petri Net Unfoldings | ||
| Federica Adobbati, Luca Bernardinello and Lucia Pomello | Solving a Safety Game on a Finite Prefix of the Unfolding of Safe Petri Nets | ||
| Amazigh Amrane, Dylan Bellier and Philipp Schlehuber-Caissier | Polytope representation for space efficient Petri net analysis | ||
| 12:30--14:00 | Lunch Break | ||
| 14:00--15:00 | Invited talk: Rob van Glabbeek | TBA | |
| 15:00--15:15 | Coffee Break | ||
| 15:30--18:00 | ATAED'26 | Model Checking Contest | |
| Patrizia Schalk | Important Factors: Complexity Dimensions for Petri Nets | ||
| Jeppe Berg Axelsen, Frederik Hecter Kowalski, Richard Nygård and Jiri Srba | GTM: An Enhanced Genetic Algorithm for Process Discovery | ||
| Tobias Brockhoff, Christopher T. Schwanen, Lisa Mannel and Wil M. P. van der Aalst | Process Discovery as a Global Place Combination Problem | ||
| Patrizia Schalk, Robert Lorenz, Kovář Jakub and Robin Bergenthum | The Complexity of Alignments on (Un-)Labeled and (Un-)Bounded Petri Nets | ||
| Ekkart Kindler | Objects, Processes and the Colours of the Rainbow: Towards a Conceptual Model for Object-centric Processes | ||
| SC-Meeting (by invitation only) |
|||
| Around 19:30 | SC-Dinner (by invitation) |
| Time | Authors | Title |
|---|---|---|
| 9.00--9.30 | Opening | |
| 9.30--10.30 | Keynote: Véronique Cortier | Electronic Voting: Design, Attacks and Formal Verification. |
| 10.30--11.00 | Coffee Break | |
| 11.00--12.30 | Session 1: Structure Theory. | Chair: firstname surname |
| Eike Best and Raymond Devillers | Persistent Permutability Implies Persistence for Pure Dissymmetric Choice Petri Nets. | |
| Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli and Lea Terracini | Old and new perspectives on Petri nets flows. | |
| Christopher T. Schwanen, Wied Pakusa and Wil M. P. van der Aalst | Coming Home for Blocking Transitions Fast. | |
| 12.30--14:00 | Lunch Break | |
| 14.00--15.00 | Session 2: Semantics. | Chair: firstname surname |
| Maciej Koutny, Ryszard Janicki, Łukasz Mikulski and Rajiv Ranjan | Towards General Trace Theory. | |
| Serge Haddad and Amber Agarwal | Maximal Firing Semantics for Continuous and Ordinary Petri Nets. | |
| 15:00--15:30 | Coffee Break | |
| 15.30--16.30 | Session 3: Complexity. | Chair: firstname surname |
| Michal Ajdarów | Asymptotic Analysis of Expected Complexity in VASS MDPs. | |
| 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. | |
| 16:30--17:30 | Tool demo |
| Time | Authors | Title |
|---|---|---|
| 9.00--10.30 | Session 4: Tools I. | Chair: firstname surname |
| 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. | |
| Marc Kimmel, Robert Lorenz and Patrizia Schalk | Petri-Dish: A Petri Net Survey Tool for Education and Research. | |
| Tsung-Hao Huang, Lukas Jansen, Marco Pegoraro and Wil van der Aalst | IsoNet: Property-Preserving Hierarchical Decomposition of Workflow Nets. | |
| 10.30--11.00 | Coffee Break | |
| 11.00--12.30 | Session 5: Tools II. | Chair: firstname surname |
| Christian Imenkamp, Agnes Koschmider, Christoph Matheja and Andrey Rivkin | A Web-Based Tool for Modeling, Simulation, and Analysis of Petri Nets with Data. | |
| István Koren | OCPN Studio: Web-based Modeling, Simulation, and Analysis of Object-Centric Petri Nets. | |
| 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. | |
| 12:30--14:00 | Lunch Break | |
| 14.00--15.30 | Session 6: Applications. | Chair: firstname surname |
| Alex Chan, Mohamed Tarraf, Rishad Shafik and Alex Yakovlev | ANIMATE: Automated Framework for Scalable Design of Tsetlin Machines using 1-safe Petri nets. | |
| Debjyoti Bera and Tim Willemse | Constructing Weakly Terminating Interface Protocols. | |
| Christoffer Lind Andersen, Radu Iosif and Arnaud Sangnier | Safety Analysis in Broadcast Networks defined by Graph Grammars. | |
| 17.00--19.00 | Carl Adam Petri -- 100 years ceremony | |
| Around 20:00 | Conference Dinner |
| Time | Authors | Title |
|---|---|---|
| 9.30--10.30 | Keynote: Jan Mendling | Empirical Research on Petri Nets. |
| 10.30--11.00 | Coffee Break | |
| 11.00--13.00 | Session 7: Verification and Conformance Checking. | Chair: firstname surname |
| 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. | |
| Sofia Bellotti, Thomas Chatain and Paolo Ballarini | Aligning Observed Timed Traces with Timed Stochastic Models. | |
| Sophie Wallner, Julian Gaede, Lukas Zech and Karsten Wolf | Coverability Abstraction for the Modular State Space. | |
| 13.00--13.30 | Closing Session | |
| 13:30--14:30 | Lunch Break |