Trajectories of concurrent transition systems

Open four

valves

Fire backup

engine

Valve fails

stuck closed

Previous slide

Next slide

Back to first slide

View graphic version