Modélisation et spécification ? Master 2 Informatique TD 3 ... - liafa
TD 3 : Réseaux de Petri. Modélisation. Exercice 1 : Feu de signalisation. On
souhaite modéliser deux feux de signalisation. Chaque feu a trois couleurs (verte
, ...
TD 3 : Réseaux de Petri. Modélisation. Exercice 1 : Feu de signalisation. On
souhaite modéliser deux feux de signalisation. Chaque feu a trois couleurs (verte
, ...