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

Jin-Shyan Lee Pau-Lo Hsu

Published in: SMC (2001)

Keyphrases

petri net
sequence diagrams
programmable logic controller
discrete event systems
petri net model
manufacturing systems
colored petri nets
fuzzy petri net
logic programming
modal logic
service composition
ims ld
asynchronous circuits
state machines
discrete dynamical systems
concurrent systems