Conceptual Simulator
If ‘external event ‘activation of l, then activation of d ext
If ‘transitory state ’ ‘ activation of l , then activation of d int
Apply to the example for the following sequence
(com = on)(posbar=good)(com=off)
(com=on)(nivbar=full)(com=off)