On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.

Zhiwu Li Mi Zhao

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

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
colored petri nets
fuzzy petri net
ims ld
state machines
stochastic petri net
process model
service composition
discrete dynamical systems
concurrent systems
knowledge base
high dimensional
expert systems