A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation

Jin-Shyan Lee, Pau-Lo Hsu. A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001. pages 2711-2716, IEEE, 2001. [doi]

Abstract

Abstract is missing.