Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems.
Chengzong LiYufeng ChenZhiwu LiKamel BarkaouiPublished in: IEEE Access (2017)
Keyphrases
- petri net
- flexible manufacturing systems
- manufacturing systems
- dynamic scheduling
- petri net model
- high level petri nets
- discrete event systems
- colored petri nets
- stochastic petri net
- web service composition
- production cost
- story generation
- real time control
- service composition
- process model
- concurrent systems
- neural network
- ims ld
- multistage
- knowledge representation
- expert systems
- decision making