Découverte de la suppression d'une cible

Nous savons que, dès que le système se trouve dans un état de qualité strictement positive, le mécanisme de choix d'action lui permet de se guider à coup sûr vers un objectif (rattaché à l'état $E_{S}$). Cela n'est vrai que si le contexte respecte la propriété ( $P_{\epsilon }$). Nous supposons que cette propriété est satisfaite. Dans ce cadre, si un état $e_{i,k}$ du système possède une transition vers $E_{S}$, nous savons que cette transition est unique. Donc, si une nouvelle transition vers un état différent de $E_{S}$ est découverte à partir de $e_{i,k}$, c'est que la cible n'existe plus ou qu'elle est accessible à partir d'un autre état. Nous éliminons alors l'ancienne transition de $e_{i,k}$ vers $E_{S}$, qui provoque, par réaction, un changement des marquages du système. S'il n'existe plus de connexion à l'état terminal $E_{S}$ à la suite de la suppression de la transition, nous savons que l'ensemble des marquages qui étaient strictement positifs deviendront égaux à 0. S'il existe plusieurs états liés à $E_{S}$, l'ensemble des états appartenant à une politique de commande empruntant la transition supprimée pourront être modifiés. Deux cas se présentent pour le marquage associé à un état $e_{i}$ compris dans un chemin passant par la transition supprimée:

• il existe un autre chemin entre $e_{i}$ et $E_{S}$: dans ce cas, nous savons que le marquage de $e_{i}$ restera strictement positif (mais pourra changer de valeur).
• il n'existe pas d'autre chemin entre $e_{i}$ et $E_{S}$: dans ce cas, nous savons que le marquage de $e_{i}$ sera égal à 0.

La prise en compte de la suppression de la cible se fait à l'instant de la suppression de la transition.