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]

Authors

Jin-Shyan Lee

This author has not been identified. Look up 'Jin-Shyan Lee' in Google

Pau-Lo Hsu

This author has not been identified. Look up 'Pau-Lo Hsu' in Google