How to assist designers to model learning games with Petri nets?

In previous research, we presented a methodological framework that provides players with adaptive feedback. The core of this framework relies on modeling the learning game with a Petri net. However, this modeling is a challenging task. Indeed, Petri nets are well adapted to model dynamic and complex systems but require a mastery of the underlying mathematical formalism to build them manually. In particular, when the learning game is characterized by a large freedom of action. In this paper, we present an authoring tool and its domain-specific language to assist designers to model learning games with Petri nets. We carried out a case study where our contribution was implemented. Results show that our contribution helps designers to build the Petri net in combination with classical Petri net editors which are still useful to visualize, to check and to validate the Petri nets built.