RLGchecker

Gaëlle Guigon (1, 2) , Mathieu Muratet (3, 2)

1 CERI SN - IMT Nord Europe - Centre for Digital Systems
2 MOCAH - Modèles et Outils informatiques Centrés Apprentissage Humain
3 INSEI - Institut national supérieur de formation et de recherche pour l'éducation inclusive

The core objective of our system is to automatically verify whether common tasks in RLG quests can be performed concurrently. It is used with the Laalys tool to analyse Petri nets.

Mots clés: serious game; petri net; automated-check; cooperation

Domaines: Environnements Informatiques pour l'Apprentissage Humain

Gaëlle Guigon, Mathieu Muratet. RLGchecker. 2024, ⟨swh:1:dir:1ddaa93e8e7639f1b9aee189c6c80b0246e14b24;origin=https://github.com/GuigonGaelle/RLGchecker;visit=swh:1:snp:2928e0f2e24bc0fd26ace0d0b6c25931e08dcd8c;anchor=swh:1:rev:36f9052b515e8b2e4c29e26f7653d28e6c9f7a2b⟩. ⟨hal-04639856⟩