@inproceedings{b4ea3bf88bfe4979a2ae7c9fecd036aa,
title = "Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case",
abstract = "Students face unfamiliar abstract concepts when learning about formal methods and Petri net modeling. These concepts are challenging for students to understand fully and for teachers to design captivating modeling exercises that align with the intended learning outcomes. The proposed exercises should provide significant opportunities to apply abstract concepts in familiar domains, bridging the gap between the concrete and the abstract. Board games offer a range of modeling problems in an area that many students know. This paper introduces a model for Sokoban, a classic computer-based, one-player puzzle game. After, a sequence of possible Petri net modeling exercises focused on the game movement rules and model composition are proposed. The complete model is created by composing multiple instances of the previously defined models acting as modules. The complete model can then be used to verify game termination and obtain the net step sequence leading to the intended final net marking.",
keywords = "Board games, Education, Formal methods, Modeling, Petri nets, Reachability graph",
author = "Barros, {Jo{\~a}o Paulo} and Lu{\'i}s Gomes",
note = "Funding Information: info:eu-repo/grantAgreement/FCT/Concurso de avalia{\c c}{\~a}o no {\^a}mbito do Programa Plurianual de Financiamento de Unidades de I&D (2017%2F2018) - Financiamento Base/UIDB%2F00066%2F2020/PT# Publisher Copyright: {\textcopyright} 2024 Copyright for this paper by its authors.; 2024 Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun, PeNGE 2024 ; Conference date: 25-06-2024 Through 25-06-2024",
year = "2024",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR Workshop Proceedings",
editor = "J{\"o}rg Desel and {Petrucci }, Laure",
booktitle = "Petri Net Games, Examples and Quizzes for Education, Contest and Fun 2024",
}