Exlusion mutuelle

La présence aux cours et aux TD est obligatoire en IUT.
Dans les faits, je constate que, dans les cours et TD de 8 heures ou de 16 heures, il y a de 10 à 12 étudiants (TD) sur 22, et en cours (40 sur 100).
Sans doute les absents sont très très forts. Ils ont l'informatique dans le sang depuis la naissance (c'est un peu ce qu'écrivent certains dans leur dossiers de candidature à l'iut).

Alors si certains des absents se sont révéillés... voici pour eux :


On a deux utilisateurs et une imprimante.
L'accès à l'imprimante est exclusif.

Modélisez en utilisant le typage de processus.

Voici ce qu'a fait Dudule :

CONS = (prend -> utilise -> rend -> CONS).
IMP = (prend -> rend -> IMP).

||SYS = (u1 : CONS || u2 : CONS || IMP).


u1 : CONS va donner :
u1.CONS = (u1.prend -> u1.utilise -> u1.rend -> u1.CONS).
c'est un préfixage comme on en a vu en B lors de l'inclusion de machines.

Est-ce qu'il a bien modélisé l'exclusion mutuelle ?

NON ... faites le diagramme de transitions d'état pour voir...

Alors modifiez la spec de Dudule.