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