Exercice 1 Modélisation d'un feu tricolore Solution de l'exercice 1

Automates temporisés. TD/TME 2 : Composition d'automates temporisés ?
Construction des régions ... Un feu tricolore peut être rouge, orange, vert, ou
éteint.

Part of the document