| Vol-3721 urn:nbn:de:0074-3721-9 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# PeNGE 2024
Petri Net Games, Examples and Quizzes for Education, Contest and Fun 2024

### Proceedings of the Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun
co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024)

### Geneva, Switzerland, June 25, 2024.

Edited by

### Jörg Desel *
Laure Petrucci **

* FernUniversität in Hagen, Hagen, Germany
** Université Paris 13, Paris, France

## Table of Contents

- Preface
  Summary: 6 peer-reviewed papers were accepted for this workshop.

### Session 1: Petri Net Puzzles

- Some Petri Net Problems with Counterintuitive Solutions
  Piotr Chrząstowski-Wachtel, Piotr Ulanowski
- Solving Puzzles using Coloured Petri Nets
  Somsak Vanit-Anunchai
- The Square Petri Net
  Jörg Desel, Julia Fleischer, Moritz Sommer

### Session 2: Petri Net Teaching in Applications

- Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom
  Luis Gomes, Anikó Costa
- Blood Glucose Levels Regulation in a Healthy and in a Diabetic Person Modelled with Petri Nets
  Kamila Barylska, Anna Gogolińska
- Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case
  João-Paulo Barros, Luis Gomes

2024-06-18: submitted by Jörg Desel, metadata incl. bibliographic data published under Creative Commons CC0
2024-07-07: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|