Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations : dissertation. 2. DIO. - UZAM, MURAT (Salford : University of Salford, UK, 1998)