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).
..