PeNGE - Petri Net games, examples and quizzes for education, contest and fun

Call for papers

The workshop "Petri Net games, examples and quizzes for education, contest and fun" is a satellite event of the 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025). It 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.

The program committee invites submission of papers (4 to 8 pages). It is obligatory that each paper contains at least one nice Petri net. Papers should be submitted in electronic form (PDF) using the CEUR latex style: http://ceur-ws.org/Vol-XXX/CEURART.zip

Submissions should include title, authors’ addresses and E-mail addresses. Papers must be submitted as a pdf file using EasyChair: https://easychair.org/conferences/?conf=petrinets2025.

We will provide online workshop proceedings. Very good contributions can be nominated for a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC).

Call for papers in PDF format: PDF

Program Committee

Piotr Chrzastowski-Wachtel, Institute of Informatics, Warzaw University
José Manuel Colom, University of Zaragoza
Luis Gomes, Universidade NOVA de Lisboa
Robert Lorenz, University of Augsburg
Jan Martijn van der Werf, Utrecht University
Alex Yakovlev, Newcastle University

Venue and Accomodation

Venue: Campus Condorcet, Paris-Aubervilliers, France

Information about hotels and about how to reach the workshop / conference site can be found at the Petri Nets 2025 Access.