Figure 4. A live and safe Petri net which implements the control sequence in Figure 2.