Petri nets and Grafcet tools for modelling discrete event systems - David, Rene; Alla, Hassane (Prentice Hall, 1992)