|
Opening |
|
|
| 09:00 |
Babette Dellen, Michael Köhler-Bußmeier, Wied Pakusa and Jan Sudeikat
|
LAMAS: An Organisation-centred Architecture for Agentic AI |
L |
| 09:30 |
Simon Tjell
|
CSharPN: A Code-First Framework for Coloured Petri Net Modelling with C# as Inscription Language |
S |
| 09:45 |
Marcel Hansson, Marvin Brendel, Daniel Moldt and Laif-Oke Clasen
|
Signing of Reference Nets |
S |
| 10:00 |
Erik Jonas Hartnick, Mandy Weißbach and Thomas Kühn
|
On Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets |
S |
| 10:15 |
Marcel Hansson, Daniel Moldt, Kim Wittenburg and Christian Bracker
|
WatchPoints for Renew |
S |
| 10:30 – 11:00 |
Coffee Break |
|
|
| 11:00 |
Eleftheria Kouppari, Anna Philippou and Yannis Dimopoulos
|
Declarative Modelling and Analysis of Reversing Petri Nets |
L |
| 11:30 |
Niklas Levens, Lukas Seifert, 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 |
L |
| 12:00 |
Gabriel Juhás, Juraj Mažári, Milan Mladoniczky and Tomáš Kováčik
|
Petriflow Query Language |
S |
| 12:15 |
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 |
S |
| 12:30 |
Michael Köhler-Bußmeier, Lorenzo Capra and Heiko Rölke
|
Modelling Multi-Level Learning in Multi-Agent-Systems with Stochastic Nets-within-Nets |
S |
| 12:45 – 14:00 |
Lunch Break |
|
|
| 14:00 – 15:00 |
Invited Talk: Wilhelm Hasselbring |
Research Software for Petri Net Research |
I |
| 15:00 |
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 |
L |
| 15:30 – 16:00 |
Coffee Break |
|
|
| 16:00 – 17:00 |
Invited Talk: Ulrike Steffens (shared with PNAS’26) |
From Objects to Agents and Beyond: Revisiting Coordination and Controllability in Digital Systems |
I |
| 17:00 – 17:30 |
Michael Köhler-Bußmeier, Jan Sudeikat and Finn Wellershaus
|
Organisational Mode Switching for Controlled Run-Time Adaptation in Industrial Multi-Agent Systems |
L |
| 17:30 – ... |
Closing Session |
Poster Session |
|