Petri nets and Grafcet : tools for modelling discrete event systems / - David, René (Prentice Hall, 1992)