FSM Composition

WAIT, 1

KEY_ON and START_TIMER =>

START_TIMER

must be coherent

SEC and

not (KEY_OFF or BELT_ON) =>

OFF, 1

not SEC and

(KEY_OFF or BELT_ON) =>

OFF, 2

SEC and

(KEY_OFF or BELT_ON) =>

Belt

Control

Timer

Previous slide

Next slide

Back to first slide

View graphic version