On peut en imaginer d'autres qui pourraient, par exemple,

dtecter toutes les transitions dclenchables, les dclencher toutes.

Un travail en parallle en quelque sorte.

Cette extension permet entre autres choses d'associer un dlai au

dclenchement de la transition. Dans ce style de rseau, il y a
consommation puis, aprs un certain laps de temps, production. Nous
renvoyons le lecteur intress par ces RdP la bibliographie,
notamment [01] ou [02].

Il y a une seule possibilit de rveil d'un tel rseau, base de

transition-source. Voir ce propos le paragraphe 2-6.

Le but du "jeu" est bien entendu d'obtenir ce rsultat par calcul et non
pas observation du graphe des marquages accessibles. N'importe qui, en
effet, peut lire ce graphe et voir si un marquage M figure ou non sur le
graphe.

Le cas le plus dlicat est celui o il n'y en a pas assez (sans que nous
sachions exactement combien il en manque).
..