Petri Net Course

The Petri Net Course is a satellite event of the 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025). The course offers a thorough introduction to Petri Nets in four half-day modules and two half-day tutorials on applications of Petri Nets and new developments presented by experts in the area.

PNSE 2025

International Workshop on Petri Nets and Software Engineering. 23-24 June 2025

ATAED 2025

Algorithms & Theories for the Analysis of Event Data 2025. 24 June 2025

Model Checking Contest 2025

An event dedicated to the evaluation of model checking tools using Petri Net benchmarks.

PeNGE

Petri Net games, examples and quizzes for education, contest and fun. 24 June 2025

The workshop aims to attract short papers that present examples for the use of Petri nets for elegant modeling, analysis or problem solving. The examples should be comprehensible, self-contained and ideally demonstrate advantages of Petri Net techniques compared to other approaches. A particular objective of the workshop is the collection of examples that can be used for exemplary modeling or application of analysis concepts in education.