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 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024). 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=penge2024.

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

Venue and Accomodation

Venue: Campus Biotech, Chemin des Mines 9, 1202 Geneva, Switzerland

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