PNWS 2026
Joint Workshop Proceedings of PNSE'26, PNAS'26, ATAED’26, and PHOCON’26

Table of Contents

These are the joint proceedings of the workshops held at the 47th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2026), namely:

• Petri Nets and Software Engineering (PNSE'26),
• Petri Nets for Adaptive Systems (PNAS'26),
• Algorithms & Theories for the Analysis of Event Data (ATAED’26), and
• Petri Nets, Higher-Dimensional Automata, Partial Orders, and Concurrency (PHOCON’26).

The 47th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2026) is organized by the University of Hamburg and the University of Applied Sciences Hamburg.

• Preface for PNSE'26: The PNSE workshop emphasizes on the impact of software engineering in general and its development based on Petri nets. More information about the workshop can be found at the PNSE web site.
  There were 15 papers submitted for peer-review to PNSE'26. Out of these, 11 papers were accepted for this volume. Additionally, we included extended abstracts for submitted posters.
• Preface for PNAS'26: The objective of PNAS is to unite the community of researchers who are engaged in various approaches to modeling reconfigurable and reactive systems from a formal standpoint, especially highlighting Petri nets. More information about the workshop can be found at the PNAS web site.
  There were 3 papers submitted for peer-review to PNAS'26. Out of these, 1 paper was accepted for this volume. Additionally, we included extended abstracts for submitted posters.
• Preface for ATAED'26: The workshop aims to attract papers related to process mining, region theory and other synthesis techniques.
  There were 9 papers submitted for peer-review to ATAED'26. Out of these, 5 papers were accepted for this volume.
• Preface for PHOCON'26: PHOCON is a workshop on concurrency theory, in particular Petri nets and non-interleaving concurrency. It concerns itself with models for concurrency, partial-order semantics, their relation to Petri nets, and their applications.
  There was 1 paper and five abstract-only submissions submitted for peer-review to PHOCON'26. Out of these, 1 paper was accepted for this volume.

Keynotes of PNSE'26 and PNAS'26

• Research software for Petri net research
  Wilhelm Hasselbring
• From objects to agents and beyond: Revisiting coordination and controllability in digital systems
  Ulrike Steffens

Session 1: PNSE'26 and PNAS'26 Presentations

• LAMAS: An organisation-centred architecture for agentic AI
  Babette Dellen, Michael Köhler-Bußmeier, Wied Pakusa, Jan Sudeikat
• Towards roundtrip engineering for Java and agent interaction protocols with Petri net-based semantics
  Niklas Levens, Lukas Seifert, Leon Zander, Philipp Schult, Sonja Kagan, Ole Methler, Marcel Hansson, Daniel Moldt
• Declarative modelling and analysis of reversing Petri nets
  Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou
• Distributed colored Petri net simulation -- synchronized transitions based on event streaming
  Laif-Oke Clasen, Justus Middendorf, Leo Grimme, Leven Wichelmann, Finn Bolinius, Sam Knoop, Daniel Moldt
• Organisational mode switching for controlled run-time adaptation in industrial multi-agent systems
  Finn Wellershaus, Michael Köhler-Bußmeier, Jan Sudeikat

Session 2: PNSE'26 - Short Presentations

• On Abstraction-Based Deadlock Analysis of Service-Oriented Systems Modeled with Recursive Petri Nets
  Erik Jonas Hartnick, Mandy Weißbach, Thomas Kühn
• WatchPoints for Renew
  Marcel Hansson, Daniel Moldt, Kim Wittenburg, Christian Bracker
• Petriflow query language
  Gabriel Juhás, Juraj Mažári, Tomáš Kováčik, Milan Mladoniczky, Martin Širáň
• Loop home markings (looms) in free-choice nets with home clusters
  Thomas M. Prinz, Wil M. P. van der Aalst, Christopher T. Schwanen, Yongsun Choi
• Modelling multi-level learning in multi-agent-systems with stochastic nets-within-nets
  Michael Köhler-Bußmeier, Lorenzo Capra, Heiko Rölke
• 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, Laif-Oke Clasen

Session 3: Poster Presentations of PNSE'26 and PNAS'26

• Discrete-event system model discovery under observational ambiguity: counterexample generation via spectral learning
  Wei Cheng, Andrea Matta
• Symmetry preservation in modular rewritable muliformalism models
  Lorenzo Capra, Federico Bruzzone
• Tensorised simulation of place/transition-Petri nets in PyTorch
  Heiko Rölke

Session 4: PHOCON'26 Presentations

• Structured Concurrency Semantics for Series-Parallel Orders
  Maciej Koutny, Łukasz Mikulski

Session 5: ATAED'26 Presentations

• Important factors: complexity dimensions for Petri nets
  Patrizia Schalk
• GTM: An enhanced genetic algorithm for process discovery
  Jeppe Berg Axelse, Frederik Hecter Kowalski, Richard Nygård, Jiří Srba
• The complexity of alignments on (un-)labeled and (un-)bounded Petri nets
  Patrizia Schalk, Robert Lorenz, Jakub Kovář, Robin Bergenthum
• Process discovery as a global place combination problem
  Tobias Brockhoff, Christopher T. Schwanen, Lisa L. Mannel, Wil M. P. van der Aalst
• Objects, processes and the colours of the rainbow: Towards a conceptual model for object-centric processes
  Ekkart Kindler