PNAS'26 is a satellite event of PETRI NETS 2026, the 47th International Conference on Application and Theory of Petri Nets and Concurrency.
This year we celebrate the 100th birthday of Carl Adam Petri. The conference takes place in Hamburg where Petri held an honorary professorship.
Classical Petri nets (PNs) are foundational for concurrent and distributed systems, but they stumble when tasked with capturing the essence of complex, reactive, and reconfigurable behaviors. Since Valk's groundbreaking introduction of self-modifying PNs, the last three decades have witnessed a surge of innovative extensions designed to elegantly and succinctly model these dynamic systems. From dynamic interconnectivity reminiscent of the Pi-calculus to the nets-within-nets concept, and sophisticated higher-order PN formalism, the landscape has exploded with a variety of PN-centered frameworks. However, this expansion often lacks clear goals and is shackled by limited analytical tool support.
The objective of this workshop 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. The goal is to establish a systematic and cohesive framework for this research domain. This encompasses theoretical frameworks or formalisms crafted for distinct objectives. The employment of hybrid methods, for instance, merging rewriting techniques with PNs, appears to hold specific practical significance. Additionally, the workshop aims to devise innovative methods and explore potential applications while fostering a shared viewpoint on the topic.
We welcome contributions describing original research in modelling of adaptable systems using Petri nets and related models. We also welcome papers studying the analysis of such systems - either qualitatively or quantitativly.
In case that you still have doubts if your contribution will fit: Just contact the PC-Chairs!
The program committee invites submissions of full contributions (10 to 16 pages; not counting references) or short contributions (5 to 9 pages; not counting references). Ongoing work (up to 4 pages including references) can also be presented in a special poster session; authors should prepare a poster and bring it to the conference.
We plan to publish all accepted contributions online at CEUR-WS.org. Papers must follow the CEURART LaTeX style [ZIP]. Overleaf provides an CEURART template.
For your submission please use the online conference management system [https://easychair.org/conferences/?conf=petrinets2026].
All papers will undergo a strict peer reviewing procedure. The best papers from the workshop will be invited for submission of a revised version the journal "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC).
TBD
At least one of the authors has to register. Please use the main conference website: Petri Nets 2026 Registration. More information will follow later.