On the occasion of the 100th birthday of Carl Adam Petri, the Petri Net Conference 2026 will take place in Hamburg, at the university where Petri held an honorary professorship. Contributions that include a historical perspective are particularly welcome.
We seek papers presenting original research on the application or theory of Petri nets, as well as contributions addressing concurrent systems more broadly, or applications of concurrency to system design.
Topics specific to Petri Nets
- Analysis and synthesis, structure and behaviour of nets
- System design and model-driven development using nets
- Relationships between Petri nets and other approaches
- Net-based semantical, logical and algebraic calculi
- Higher-level net models (coloured nets, timed nets, etc.)
- Stochastic net models
- Verification and model checking using nets
- Process discovery and conformance checking
- Computer tools for nets
- Standardisation of nets
- Experience reports describing applications of nets to various domains
General Topics related to Concurrency
- Application of concurrency to system design
- Model checking and verification of distributed systems
- Verification of infinite-state or parametric systems
- Causality/partial order theory of concurrency
- Educational issues related to concurrency
- New developments in the theory of concurrency
- Modelling of hardware and biological systems
Proceedings published in
