Help students learn interpreted Petri nets with Minecraft. - Iwona Grobelna; Malgorzata Mazurkiewicz; Damian Janus (Informatics Educ., 2023)