Uzam, M, "Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations", ,