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