Simulator
If ‘initialisation’ then ‘activation’of l
If ‘Input Event ’ then ‘activation of’ d , then ‘activation of’ l
The output event is emitted after the state change
If ‘Input Event ’ then ‘activation of ’ l , then ‘activation of’ d
The output event is emitted before the state change
Apply the simulator to the Mealy model for :
(com = on) (posbar=good) (com=off)
(com=on) (nivbar=full) (com=off)