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