machine m_Kaffeemaschine

port Fuellstand,Verschluss,Start,Pad_ID,clk,reset,led_enable,LED_out
event z
event z_next
event led
event led_next
event delay_count
state warte
state Verschlussstand
state ID_Test
state Reinigen
state Kaffee
state Latte
state Error
state Fill


z <= z_next
delay_count <= delay_count
z_next <= Verschlussstand
z_next <= Fill
z <= warte
z_next <= ID_Test
z_next <= Error
z_next <= Kaffee
z_next <= Latte
z_next <= Reinigen
z_next <= warte