Découverte de l'ajout d'une cible

Nous nous trouvons dans un cas identique à celui de la sous-section précédente. Imaginons qu'à partir d'un état $e_{i,k}$ nous découvrions une nouvelle transition vers $E_{S}$ alors qu'une transition vers un autre état existe déjà. Le respect du contexte ( $P_{\epsilon }$) impose qu'il y ait eu une modification de l'environnement se traduisant à la fois par l'ajout de cette transition vers $E_{S}$ et la suppression de l'ancienne. En réaction à ce changement, une modification des marquages est possible:

• les états pour lesquels un chemin vers $E_{S}$ est accessible grâce à l'ajout de la transition ont un marquage modifié à 1.
• les états empruntés par une politique de commande, passant par la transition supprimée et aboutissant à $E_{S}$ ont un marquage toujours strictement positif, mais la valeur de ceux-ci peut être modifiée.