Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
Calcul des etats atteignables de programmes Esterel partitionne ...
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
60 CHAPITRE 4. NOTATIONSrien ne permet d’espérer que le bloc P (resp. Q) sera intégralement exploré avant le bloc Q (resp.P ). Pour corriger cela, nous pouvons tout simplement choisir d’ouvrir toutes les frontières <strong>de</strong> labranche then avant toutes les frontières <strong>de</strong> la branche else :N 1 Î N 2 (4.27)Ce choix est purement arbitraire car nous aurions très bien pu choisir l’ordre inverse mais ilpermet d’établir un ordre.