Petri network for both working and non-working states. | Download ...