A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions.
ZhiWu LiMengChu ZhouMuDer JengPublished in: IEEE Trans Autom. Sci. Eng. (2008)
Keyphrases
- petri net
- programmable logic controller
- petri net model
- high level petri nets
- manufacturing systems
- control policy
- service composition
- web service composition
- discrete event systems
- colored petri nets
- expert systems
- optimal control
- control method
- optimal policy
- fuzzy petri net
- control system
- multistage
- control strategy
- complex systems
- artificial intelligence
- ims ld
- knowledge based systems