- switch con tantos case´s como estados tiene el statechart
- donde c/case con tantos if , como transiciones salientes c/eventos [guardas] tiene ese estado
- donde en el cuerpo del if se puede:
- pasar al statechart siguiente un signal (evento) invocando put_evet_task_...
- modificar la variable de estado del statechart
- modificar el tick del statechart
- donde en el cuerpo del if se puede:
- donde c/case con tantos if , como transiciones salientes c/eventos [guardas] tiene ese estado
