Sample transitions

Trigger_Event: Temp_Update

Condition: Temperature in Too Hot

Output Action: Panic_Event

Trigger_Event: Temp_Update

Condition: Rod_Movement in Ready and Temperature in Hot

Output Action: Initiate_Move

Trigger_Event: Clock_Event

Condition: Rod_Movement in Just_Moved and t > t(entered(Just_Moved))+ Move_Delay

Previous slide

Next slide

Back to first slide

View graphic version