Proceedings chapter
OA Policy
English

Petri Sport: A Sport for Petri Netters

Presented atBratislava (Slovakia), 24-29 June 2018
Publication date2018
Abstract

Petri nets are a family of formalisms dedicated to the representation of concurrent systems. Their strength is the compact modeling of complex behaviors using very simple rules. Despite this simplicity, many teachers observe that students often require a lot of exposure and numerous exercises to truly understand the semantics of Petri nets. In order to speed up this learning process and provide a different attack angle, we propose Petri sport, a fun game based upon the Petri net formalism. In Petri sport, players aim to gather points by moving across a Petri net-shaped playing field and “firing” transitions. A clock-based play style supports a structured game advance while at the same time it encourages players to move fast. As the playing field is shaped like a Petri net, it is possible to challenge a player's movement speed, intellectual capabilities, as well as team coordination and communication. The difficulty level of Petri sport is based on the choice of playing field. This allows for adaptation in order to best fit the competitors' age, experience and/or physical fitness level.

Funding
  • Swiss National Science Foundation - STRATOS
  • Autre - COST IC1404
Citation (ISO format)
KLIKOVITS, Stefan et al. Petri Sport: A Sport for Petri Netters. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE′18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD. Bratislava (Slovakia). [s.l.] : [s.n.], 2018. p. 35–56.
Main files (1)
Proceedings chapter (Published version)
accessLevelPublic
Identifiers
  • PID : unige:138195
  • DBLP : conf/apn/KlikovitsLRB18
203views
157downloads

Technical informations

Creation01/07/2020 18:01:00
First validation01/07/2020 18:01:00
Update time15/03/2023 23:13:27
Status update15/03/2023 23:13:27
Last indexation31/10/2024 20:06:15
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack