Original: https://ceur-ws.org/Vol-4236/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-4236/ | Year: 2026

Vol-4236
urn:nbn:de:0074-4236-x

Copyright © 2026 for the individual papers by the papers' authors. Copyright © 2026 for the volume as a collection by its editors. This volume and its papers are published under https://creativecommons.org/licenses/by/4.0/.

PNWS 2026

Joint Workshop Proceedings of PNSE'26, PNAS'26, ATAED’26, and PHOCON’26
co-located with PETRI NETS 2026

Hamburg, Germany, June 22 - 23, 2026.

Edited by

Michael Köhler-Bußmeier
Daniel Moldt
Heiko Rölke
Lorenzo Capra
Robin Bergenthum
Sander Leemans
Andrey Rivkin
Uli Fahrenberg
Loïc Hélouët
Philipp Schlehuber-Caissier
Krzysztof Ziemiański

Table of Contents

PDF
PDF
PDF
PDF
Research software for Petri net research PDF
Wilhelm Hasselbring
From objects to agents and beyond: Revisiting coordination and controllability in digital systems PDF
Ulrike Steffens
LAMAS: An organisation-centred architecture for agentic AI PDF
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 PDF
Niklas Levens, Lukas Seifert, Leon Zander, Philipp Schult, Sonja Kagan, Ole Methler, Marcel Hansson, Daniel Moldt
Declarative modelling and analysis of reversing Petri nets PDF
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou
Distributed colored Petri net simulation -- synchronized transitions based on event streaming PDF
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 PDF
Finn Wellershaus, Michael Köhler-Bußmeier, Jan Sudeikat
On Abstraction-Based Deadlock Analysis of Service-Oriented Systems Modeled with Recursive Petri Nets PDF
Erik Jonas Hartnick, Mandy Weißbach, Thomas Kühn
WatchPoints for Renew PDF
Marcel Hansson, Daniel Moldt, Kim Wittenburg, Christian Bracker
Petriflow query language PDF
Gabriel Juhás, Juraj Mažári, Tomáš Kováčik, Milan Mladoniczky, Martin Širáň
Loop home markings (looms) in free-choice nets with home clusters PDF
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 PDF
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 PDF
Simon Tjell
Signing of reference nets PDF
Marcel Hansson, Marvin Brendel, Daniel Moldt, Laif-Oke Clasen
Discrete-event system model discovery under observational ambiguity: counterexample generation via spectral learning PDF
Wei Cheng, Andrea Matta
Symmetry preservation in modular rewritable muliformalism models PDF
Lorenzo Capra, Federico Bruzzone
Tensorised simulation of place/transition-Petri nets in PyTorch PDF
Heiko Rölke
Structured Concurrency Semantics for Series-Parallel Orders PDF
Maciej Koutny, Łukasz Mikulski
Important factors: complexity dimensions for Petri nets PDF
Patrizia Schalk
GTM: An enhanced genetic algorithm for process discovery PDF
Jeppe Berg Axelse, Frederik Hecter Kowalski, Richard Nygård, Jiří Srba
The complexity of alignments on (un-)labeled and (un-)bounded Petri nets PDF
Patrizia Schalk, Robert Lorenz, Jakub Kovář, Robin Bergenthum
Process discovery as a global place combination problem PDF
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 PDF
Ekkart Kindler

2026-08-03: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|