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