Supervisor synthesis for enforcing GMECs on a controlled Petri net.

Jiliang Luo Weimin Wu Hongye Su Jian Chu

Published in: ACC (2006)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
fuzzy petri net
service composition
web service composition
colored petri nets
stochastic petri net
ims ld
process model