Modéliser l*humain - Serious Games @ LIP6

Réseaux de Petri et suivi du
joueur
Mathieu Muratet
[e-mail]
Université Paris 6
Master Informatique
Spécialité ANDROIDE
Module ISG

Suivi de l’apprenant
•Caractérisation des actions du joueur
–Actions correctes
–Actions inutiles
–Actions trop tôt
–Actions trop tard
–...

Réseau de Petri
•Pourquoi les réseaux de Petri ?
–Modèle à la fois graphique et mathématique
–Modélise des actions séquentielles, concurrentes ou
parallèles du jeu et les conditions de leur déclenchement
–permet de représenter les règles métier
•Structure du RdP
–Des places (nœuds) modélisant les éléments du jeu , des
caractéristiques
–Des transitions modélisent les actions du joueur
–Des jetons indiquent l’état de la place et donc si les
conditions pour effectuer une transition sont vérifiées ou
non

Quelques propriétés des RdP
•RdP = (P, T, A)
–P : Ensemble des places
–T : Ensemble des transitions
–A : Ensemble des arcs
•Marquage : nombre de jeton dans chaque place
–Marquage initial VS Marquage courant
•Graphe d’accessibilité : ensemble des marquages
accessibles à partir du marquage initial
•Vivacité d’une transition : Est-ce que la transition
sera franchissable à partir du marquage courant ?

Exemple d’un Rdp
•P = {p0, p1}
•T = {t0, t1, t2}
•Mi = {3, 0}
•Graphe d’accessibilité
{3, 0}
{2, 1}
{1, 1}
{1, 2}
{0, 2}
t0
t0
t1
t1 {0, 3}
t0
t0
t2
{0, 1}
t2
{0, 0}
t2
{1, 0}
t2
t0
t0
{2, 0}
t2
t1
t2