Synthesis of Petri net controller to enforce conjunction of GMEC using observer.
Shouguang WangSenlin ZhangGangfeng YanPublished in: SMC (2) (2004)
Keyphrases
- petri net
- programmable logic controller
- control system
- service composition
- petri net model
- web service composition
- manufacturing systems
- closed loop
- controller synthesis
- high level petri nets
- real time
- colored petri nets
- control algorithm
- control strategy
- discrete event systems
- process model
- story generation
- neural network
- fuzzy controller
- concurrent systems
- ims ld
- control scheme
- stochastic petri net
- control method
- learning environment