PENGE2023 – Petri Net games, examples and quizzes for education, contest and fun
Call for papers
The workshop Petri Net games, examples and quizzes aims is a satellite event of the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023). 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.
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).
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:
Submissions should include title, authors’ addresses and E-mail addresses. For your submission please send your contribution directly to both program comittee chairs Jörg Desel Joerg.Desel@fernuni-hagen.de and Laure Petrucci Laure.Petrucci@lipn.univ-paris13.fr . Both PC chairs can also be contacted for further questions.
Paper submission deadline: May 5, 2023
Notification of paper acceptance: May 26, 2023
Final version due: June 2, 2023
Workshop: June 27, 2023