A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation | IEEE Conference Publication | IEEE Xplore