Supervisor synthesis for bounded Petri nets based on a transformation function.

Yu Ru Weimin Wu Hongye Su Jian Chu

Published in: ACC (2004)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
fuzzy petri net
ims ld
neural network
state machines
high dimensional
dynamic systems
model based diagnosis
sequence diagrams
concurrent systems