Login / Signup
Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions.
Ning Ran
Hongye Su
Weimin Wu
Shouguang Wang
Huixia Liu
Published in:
ICNSC (2015)
Keyphrases
</>
petri net
colored petri nets
petri net model
manufacturing systems
discrete event systems
high level petri nets
real time
state machines
sequence diagrams
concurrent systems
fuzzy petri net
process model
service composition
ims ld