digraph finite_state_machine { rankdir=LR; size="10" ////////////////////////////////////////////////////////////////////////////////////////////////////// 1 [shape=doublecircle]; //définit l'action sur état a1 [shape=box,label= <

sortie4

> ]; //attache l'action sur état 1 ->a1 [arrowhead=none] ; ////////////////////////////////////////////////////////////////////////////////////////////////////// 2 [shape = circle]; ////////////////////////////////////////////////////////////////////////////////////////////////////// 3 [shape = circle]; //définit l'action sur état a3[shape=box,label= <

I	sortie3
R	sortie4=IN

> ]; //attache l'action sur état 3 ->a3[arrowhead=none]; ////////////////////////////////////////////////////////////////////////////////////////////////////// //état vide pour origine reset synchrone node [shape=box] SRESET1 [shape=box, style="invis" ] SRESET2 [shape=box, style="invis" ] SRESET1->2 [style="dashed", shape=box, label= <

SRESET AND IN

> ]; SRESET2->3 [style="dashed", shape=box, label= <

SRESET AND NOT IN
I	sortie2
R	sortie5=entree2

> ]; ////////////////////////////////////////////////////////////////////////////////////////////////////// //Actions sur transitions 1 -> 2 [label= <

NOT IN

> ]; 1 -> 3 [label= <

> ]; 3 -> 2 [label= <

NOT IN

> ]; 2 -> 3 [label= <

> ]; 3 -> 1[label= <

IN
I	sortie1
S	sortie2

> ]; }