A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets.

Ding Liu ZhiWu Li MengChu Zhou

Published in: Autom. (2013)

Keyphrases

petri net
petri net model
manufacturing systems
colored petri nets
discrete event systems
high level petri nets
process model
service composition
state machines
stochastic petri net
ims ld
fuzzy petri net
concurrent systems
artificial intelligence
learning process
temporal constraints
learning experience