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
184views
134downloads

Technical informations

Creation07/01/2020 4:01:00 PM
First validation07/01/2020 4:01:00 PM
Update time03/15/2023 10:13:27 PM
Status update03/15/2023 10:13:27 PM
Last indexation10/31/2024 7:06:15 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack