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

Jin-Shyan Lee, Pau-Lo Hsu

Browse the full SMC paper archive.