PeNGE 2024
Petri Net games, examples and quizzes for education, contest and fun
Geneva, Switzerland, 25 June 2024
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
Important Dates
Paper submission deadline: May 8, 2024
Deadline extended until: May 17, 2024
Notification of paper acceptance: May 22, 2024
Final version due: June 6, 2024
Workshop: June 25, 2024
Program Committee Chairs
Jörg Desel, Joerg.Desel@fernuni-hagen.de
Laure Petrucci, Laure.Petrucci@lipn.univ-paris13.fr
Program
| 10:30-10:45 | Opening |
| 10:45-12:15 | Petri Net Puzzles |
| 10:45 |
Piotr Chrząstowski-Wachtel and Piotr Ulanowski Some Petri Net Problems with Counterintuitive Solutions |
| 11:15 |
Somsak Vanit-Anunchai Solving Puzzles using Coloured Petri Nets |
| 11:45 |
Jörg Desel, Julia Fleischer and Moritz Sommer The Square Petri Net |
| 12:15-12:30 | Discussion |
| 13:30-15:00 | Petri Net Teaching in Applications |
| 13:30 |
Luis Gomes and Anikó Costa Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom |
| 14:00 |
Kamila Barylska and Anna Gogolińska Blood Glucose Levels Regulation in a Healthy and in a Diabetic Person Modelled with Petri Nets |
| 14:30 |
João-Paulo Barros and Luis Gomes Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case |