Conference Venue
Campus Finkenau, HAW Hamburg
Finkenau 35 · 22081 Hamburg
U1 Wartenau ·
U3 Mundsburg
from Hamburg Hbf · ~5 min
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.
Special event: 100 years Carl Adam Petri — Thursday, 25 June 2026 · 17:00–19:00
A celebration by the Gesellschaft für Informatik (GI) on the shore of the Außenalster, with talks by Prof. Dr. Rüdiger Valk, Prof. Dr. Jörg Desel, Prof. Dr. Wolfgang Reisig, and Prof. Dr. Wil van der Aalst. All conference participants are automatically included. More information →
A celebration by the Gesellschaft für Informatik (GI) on the shore of the Außenalster, with talks by Prof. Dr. Rüdiger Valk, Prof. Dr. Jörg Desel, Prof. Dr. Wolfgang Reisig, and Prof. Dr. Wil van der Aalst. All conference participants are automatically included. More information →
Registration is open
Secure your place at Petri Nets 2026 — early registration deadline 19 June 2026
Register Now →
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