Exercice 1 Sémantique des automates temporisés Solution ... - LACL

Lorsqu'une pi`ece est insérée, si rien ne se passe au bout de 10 secondes, ... minutes afin de ne pas ab?mer la pompe, et un seuil haut de 1000L o`u l'on ...