Petri Nets 2025

22-27 June 2025 (Paris, France)

PNSE 2025

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

ATAED 2025

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

Model Checking Contest 2025

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

PeNGE

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.