Verification of digital control paths using Petri nets.

Werner Erhard Andreas Reinsch Torsten Schober

Published in: SMC (2001)

Keyphrases

petri net
petri net model
colored petri nets
programmable logic controller
concurrent systems
discrete event systems
manufacturing systems
service composition
state machines
fuzzy petri net
ims ld
control system
model checking
stochastic petri net
control strategy
control method