Découverte de l'ajout d'un obstacle

Cette découverte se fait naturellement lorsqu'une transition vers l'état $E_{E}$ est créée à partir d'un état $e_{i,k}$ possédant déjà une transition vers un autre état. En se fiant au respect de la contrainte ( $P_{\epsilon }$), il suffit de supprimer l'ancienne transition et de rajouter celle menant à $E_{E}$.