13th International Workshop on Next Generation of System Assurance Approaches for Critical Systems

22 and/or 23 June 2026, Hamburg, Germany

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.

Scope

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.

Topics

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!

Important Dates (AoE)

• Abstracts (mandatory): 10 April 2026 (NEW)
• Deadline for papers: 15 April 2026 (NEW)
• Notification of paper acceptance: 3 May 2026 (NEW)
• Deadline for posters: 4 May 2026
• Notification of poster acceptance: ** 6 May 2026**
• Deadline for final revisions: 8 May 2026