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.