Login / Signup
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.
Mi Zhao
ZhiWu Li
Hesuan Hu
Published in:
Int. J. Syst. Sci. (2010)
Keyphrases
</>
petri net
mathematical programming
linear programming
combinatorial optimization
optimization approaches
petri net model
neural network
design process
manufacturing systems
discrete event systems
sequence diagrams
learning design
stationary points
colored petri nets
fuzzy petri net
mixed integer linear