Petri net tools for the specification and analysis of discrete controllers | IEEE Journals & Magazine | IEEE Xplore