Conference Program

Full schedule for Petri Nets 2026 — 22–26 June 2026, Hamburg, Germany.

Use + Calendar on any event to add it to your personal schedule, then export as .ics.
📅 My Schedule: 0 event(s) selected
Download: Full Week PDF Conference Program PDF Preliminary — subject to change
Day 1 · Workshops & Courses

Monday, 22 June 2026

PNSE workshop · Petri Net Courses 3 & 4

9:00–10:30
PNSE ’26 — Opening & Papers
LAMAS: An Organisation-centred Architecture for Agentic AI
Babette Dellen, Michael Köhler-Bußmeier, Wied Pakusa and Jan Sudeikat
CSharPN: A Code-First Framework for Coloured Petri Net Modelling with C# as Inscription Language
Simon Tjell
Signing of Reference Nets
Marcel Hansson, Marvin Brendel, Daniel Moldt and Laif-Oke Clasen
On Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets
Erik Jonas Hartnick, Mandy Weißbach and Thomas Kühn
WatchPoints for Renew
Marcel Hansson, Daniel Moldt, Kim Wittenburg and Christian Bracker
Petri Net Course 3
Lecturer: Karsten Wolf
Verification and Model Checking of Petri Nets
10:30
Coffee Break
11:00–12:45
PNSE ’26 (cont.)
Declarative Modelling and Analysis of Reversing Petri Nets
Eleftheria Kouppari, Anna Philippou and Yannis Dimopoulos
Towards Roundtrip Engineering for Java and Agent Interaction Protocols with Petri Net-based Semantics
Lukas Seifert, Niklas Levens, Leon Zander et al.
Petriflow Query Language
Gabriel Juhás, Juraj Mažári, Milan Mladoniczky and Tomáš Kováčik
Loop Home Markings (Looms) in Free-Choice Nets with Home Clusters
Thomas M. Prinz, Wil M. P. van der Aalst, Christopher T. Schwanen and Yongsun Choi
Modelling Multi-Level Learning in Multi-Agent-Systems with Stochastic Nets-within-Nets
Michael Köhler-Bußmeier, Lorenzo Capra and Heiko Rölke
Petri Net Course 3 (cont.)
Lecturer: Karsten Wolf
Verification and Model Checking of Petri Nets
12:45
Lunch Break
14:00–15:30
PNSE ’26 & Invited Talk
Invited Talk
Wilhelm Hasselbring: Research Software for Petri Net Research
Kiel University
Distributed Colored Petri Net Simulation — Synchronized Transitions Based on Event Streaming
Laif-Oke Clasen, Justus Middendorf, Leo Grimme et al.
Petri Net Course 4
Lecturer: Susanna Donatelli
Timed and Stochastic Petri Nets
15:30
Coffee Break
16:00–17:30
PNSE ’26 & Invited Talk (shared with PNAS’26)
Invited Talk
Ulrike Steffens: From Objects to Agents and Beyond: Revisiting Coordination and Controllability in Digital Systems
HAW Hamburg
Organisational Mode Switching for Controlled Run-Time Adaptation in Industrial Multi-Agent Systems
Finn Wellershaus, Michael Köhler-Bußmeier and Jan Sudeikat
Petri Net Course 4 (cont.)
Lecturer: Susanna Donatelli
Timed and Stochastic Petri Nets
17:30–18:30
Poster Session

Poster Session

Day 2 · Workshops & Tutorial

Tuesday, 23 June 2026

PHOCON ’26 · ATAED ’26 · Model Checking Contest · Tutorial

8:30–9:00
Opening

PHOCON ’26 Opening

9:00–10:00
Invited Talk

Stefan Haar — Beyond atomic firing

10:00–10:40
PHOCON ’26
Structured Concurrency Semantics for Series-Parallel Orders
Maciej Koutny and Łukasz Mikulski
Orthomodular Lattices in Combinatorial Posets Modelling Concurrent Processes
Luca Bernardinello, Carlo Ferigato and Lucia Pomello
Tutorial 3
Lecturers: Jan Martijn van der Werf & Andrey Rivkin
Object-centric Process Modeling and Analysis: A Short Avant-Garde Journey
10:40–11:10
Coffee Break
11:10–12:30
PHOCON ’26 (cont.)
A Local-Time Semantics for Negotiations
Adwitee Roy, B. Srivathsan and Madhavan Mukund
Universal Properties of Petri Net Unfoldings
Serge Lechenne and Hugo Paquet
Solving a Safety Game on a Finite Prefix of the Unfolding of Safe Petri Nets
Federica Adobbati, Luca Bernardinello and Lucia Pomello
Polytope representation for space efficient Petri net analysis
Amazigh Amrane, Dylan Bellier and Philipp Schlehuber-Caissier
Tutorial 3 (cont.)
Lecturers: Jan Martijn van der Werf & Andrey Rivkin
Object-centric Process Modeling and Analysis: A Short Avant-Garde Journey
12:30
Lunch Break
14:00–15:00
Invited Talk

Rob van Glabbeek — Hereditary history-preserving branching bisimilarity

15:00–15:30
Coffee Break
15:30–18:00
ATAED ’26
Important Factors: Complexity Dimensions for Petri Nets
Patrizia Schalk
GTM: An Enhanced Genetic Algorithm for Process Discovery
Jeppe Berg Axelsen, Frederik Hecter Kowalski, Richard Nygård and Jiri Srba
Process Discovery as a Global Place Combination Problem
Tobias Brockhoff, Christopher T. Schwanen, Lisa Mannel and Wil M. P. van der Aalst
The Complexity of Alignments on (Un-)Labeled and (Un-)Bounded Petri Nets
Patrizia Schalk, Robert Lorenz, Kovář Jakub and Robin Bergenthum
Objects, Processes and the Colours of the Rainbow: Towards a Conceptual Model for Object-centric Processes
Ekkart Kindler
Model Checking Contest
MCC ’26
Also: SC-Meeting (by invitation only)
~19:30
By invitation

SC-Dinner

Day 3 · Main Conference

Wednesday, 24 June 2026

Opening · Keynote Cortier · Sessions 1–3

9:00–9:30
Opening

Conference Opening

(Chairs: Laure Petrucci / Fabrice Kordon)

9:30–10:30
Keynote

Electronic Voting: Design, Attacks and Formal Verification (Chair: Jörg Desel)

Prof. Dr. Véronique Cortier — CNRS, LORIA, France

10:30–11:00
Coffee Break
11:00–12:30
Session 1 Structure Theory (Chair: Karsten Wolf)
Persistent Permutability Implies Persistence for Pure Dissymmetric Choice Petri Nets
Eike Best and Raymond Devillers
Old and new perspectives on Petri nets flows
Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli and Lea Terracini
Coming Home for Blocking Transitions Fast
Christopher T. Schwanen, Wied Pakusa and Wil M. P. van der Aalst
12:30–14:00
Lunch Break
14:00–15:00
Session 2 Semantics (Chair: Stefan Haar)
Towards General Trace Theory
Maciej Koutny, Ryszard Janicki, Łukasz Mikulski and Rajiv Ranjan
Maximal Firing Semantics for Continuous and Ordinary Petri Nets
Serge Haddad and Amber Agarwal
15:00–15:30
Coffee Break
15:30–16:30
Session 3 Complexity (Chair: Łukasz Mikulski)
Asymptotic Analysis of Expected Complexity in VASS MDPs
Michal Ajdarów
Supporting Modularity by (De-)Composition of Distributed P/T Nets based on Karger’s Algorithm for Distributed Execution
Laif-Oke Clasen, Justus Middendorf, Felix Gorke et al.
16:30–17:30
Demo

Tool Demonstration (Chair: Gabriel Juhas)

Day 4 · Main Conference

Thursday, 25 June 2026

Sessions 4–6 · 100 Years Carl Adam Petri · Conference Dinner

9:00–10:30
Session 4 Tools I (Chair: Andrey Rivkin)
PACO: a Petri Net-based tool for designing, simulating, and analyzing multi-objectives stochastic processes
Emanuele Chini, Daniel Amadori, Pietro Sala et al.
Petri-Dish: A Petri Net Survey Tool for Education and Research
Marc Kimmel, Robert Lorenz and Patrizia Schalk
IsoNet: Property-Preserving Hierarchical Decomposition of Workflow Nets
Tsung-Hao Huang, Lukas Jansen, Marco Pegoraro and Wil van der Aalst
10:30–11:00
Coffee Break
11:00–12:30
Session 5 Tools II (Chair: Jan Martijn van der Werf)
A Web-Based Tool for Modeling, Simulation, and Analysis of Petri Nets with Data
Christian Imenkamp, Agnes Koschmider, Christoph Matheja and Andrey Rivkin
OCPN Studio: Web-based Modeling, Simulation, and Analysis of Object-Centric Petri Nets
István Koren
Netgrif Platform: A Tool for Executable Models of Object-Centric Processes in Petriflow Language
Gabriel Juhás, Juraj Mažári, Tomáš Kováčik, Milan Mladoniczky and Matej Chvostek
12:30–14:00
Lunch Break
14:00–15:30
Session 6 Applications (Chair: Lars Kristensen)
ANIMATE: Automated Framework for Scalable Design of Tsetlin Machines using 1-safe Petri nets
Alex Chan, Mohamed Tarraf, Rishad Shafik and Alex Yakovlev
Constructing Weakly Terminating Interface Protocols
Debjyoti Bera and Tim Willemse
Safety Analysis in Broadcast Networks defined by Graph Grammars
Christoffer Lind Andersen, Radu Iosif and Arnaud Sangnier
17:00–19:00
Special Event

100 Years Carl Adam Petri — Celebration (Chair: Laure Petrucci / Robin Bergenthum)

South-west shore of the Außenalster · Organised by the GI

Talks by Prof. Dr. Rüdiger Valk · Prof. Dr. Jörg Desel · Prof. Dr. Wolfgang Reisig · Prof. Dr. Wil van der Aalst  ·  Registration →

~20:00
Social

Conference Dinner

Day 5 · Main Conference

Friday, 26 June 2026

Keynote: Empirical Research on Petri Nets · Session 7 · Closing

9:30–10:30
Keynote

Empirical Research on Petri Nets (Chair: Anna Kalenkova)

Prof. Dr. Jan Mendling — Humboldt-Universität zu Berlin

10:30–11:00
Coffee Break
11:00–13:00
Session 7 Verification and Conformance Checking (Chair: Maciej Koutny)
Preserving LTL Properties in Sweep-Line State Space Exploration with Partial-Order Reduction
Sami Evangelista, Lars Kristensen and Laure Petrucci
Conformance Checking for Partially Ordered Event Logs using Token-Based Replay
Sabine Folz-Weinstein, Michael Gößwein, Christian Beecks and Robin Bergenthum
Aligning Observed Timed Traces with Timed Stochastic Models
Sofia Bellotti, Thomas Chatain and Paolo Ballarini
Coverability Abstraction for the Modular State Space
Sophie Wallner, Julian Gaede, Lukas Zech and Karsten Wolf
13:00–13:30
Closing

Closing Session (Chairs: Laure Petrucci / Fabrice Kordon)

13:30–14:30
Farewell Lunch