On Siphon Computation for Deadlock Control in a Class of Petri Nets.

ZhiWu Li MengChu Zhou

Published in: IEEE Trans. Syst. Man Cybern. Part A (2008)

Keyphrases

petri net
programmable logic controller
manufacturing systems
discrete event systems
petri net model
colored petri nets
fuzzy petri net
high level petri nets
ims ld
state machines
service composition
control method
process model