Règle 2
Franchissement d'une transition
Cette condition ne peut se produire que si :
la transition est validée (étapes immédiatement précédentes actives),
et si la réceptivité qui lui est associée est vraie (= i).
La transition devient alors franchissable et est obligatoirement franchie.
|
|
|
|
| |
Étapes actives | / | 2 | / | 2 | 3 |
Transition validée | non | oui | non | oui | Franchissement est autorisé et obligatoirement franchi |
Réceptivité vraie | non | non | oui | oui | |
Transition franchissable | non | non | non | oui |
