Edición de «Práctica de FSM (Ingeniería I)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 93: | Línea 93: | ||
'''FSM Semaforo:''' | '''FSM Semaforo:''' | ||
<graphviz> | |||
digraph G { | |||
// Config | |||
size="8,6" | |||
node [style=rounded, fontname=Arial, fontsize=10]; | |||
edge [fontname=Arial, fontsize=11]; | |||
// Estados | |||
Verde [label="Verde\n[tVerde < 30'']"]; | |||
AmarillaR [label="AmarillaRoja\n[tAmarillo < 5'']"]; | |||
AmarillaV [label="AmarillaVerde\n[tAmarillo < 5'']"]; | |||
RojaOprimido [label="RojaOprimido\n[tRojo < 10'']"]; | |||
Roja [label="Roja\n[tRojo < 30'']"]; | |||
// Oprimir | |||
Verde->Verde [label="Oprimir?"]; | |||
AmarillaR->AmarillaR [label="Oprimir?"]; | |||
AmarillaV->AmarillaV [label="Oprimir?"]; | |||
RojaOprimido->RojaOprimido [label="Oprimir?"] | |||
Roja->Roja [label="Oprimir?\n[tRoja > 20'']"] | |||
Roja->RojaOprimido [label="Oprimir?\n[tRoja > 20'']\n{tRoja}"] | |||
// Pasa tiempo | |||
AmarillaR->Roja [label="PasaARoja\n[tAmarillo = 5'']\n{tRoja}"]; | |||
Roja->AmarillaV [label="PasaDeRoja\n[tRoja = 30'']\n{tAmarilla}"]; | |||
RojaOprimido->AmarillaV [label="PasaDeRojaOprimido\n[tRoja = 10'']\n{tAmarilla}"]; | |||
AmarillaV->Verde [label="PasaAVerde\n[tAmarillo = 5'']\n{tVerde}"]; | |||
Verde->AmarillaR [label="PasaDeVerde\n[tVerde = 30'']\n{tAmarilla}"]; | |||
} | |||
</graphviz> | |||
'''FSM Interruptor:''' | '''FSM Interruptor:''' | ||
<graphviz> | |||
digraph G { | |||
// Config | |||
size="10" | |||
node [style=rounded, fontname=Arial, fontsize=10]; | |||
edge [fontname=Arial, fontsize=11]; | |||
// Grafo | |||
Boton; | |||
Boton->Boton [label="Oprimir!"]; | |||
} | |||
</graphviz> | |||
'''Variables:''' | '''Variables:''' |