Electronique numérique : réseau de Pétri

[Escroc]

Bonsoir.

Je dois effectuer le réseau de Pétri du système suivant :

Un circuit posséde 2 entrées X0 et X1 et une sortie Y0 qui prend en compte l'état logique de X0 à chaque front montant présent sur X1. La sortie Y0 passe au niveau logique "1" sur le dernier état de la séquence des états logiques successifs de X0 suivante : "011". Y0 revient à l'état logique "0" sur un front descendant de X1 qui débute ainsi une nouvelle séquence. L'acquisition d'un état non prévu annule les états corrects déjà acquis dans la séquence.

Je ne vois vraiment pas comment représenter le réseau de pétri de ce circuit ! Quelqu'un peut-il me donner des pistes ?

Merci d'avance