Uzam, M. Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations. (Thesis). University of Salford