Petri nets : a tool for design and management of manufacturing systems - Proth, Jean-Marie, 1938- (Wiley, 1996)