Dissertation > Excellent graduate degree dissertation topics show

Optimization Algorithm of a Liveness-enforcing Supervisor for FMS Based on the Theory of Regions

Author: ChenZuo
Tutor: LiZhiWu
School: Xi'an University of Electronic Science and Technology
Course: Control Theory and Control Engineering
Keywords: Petri net FMS Marking/transition Separation Instances Theory of Regions Linear Programming Problems
CLC: TH165
Type: Master's thesis
Year: 2010
Downloads: 38
Quote: 0
Read: Download Dissertation

Abstract


In recent years, the theory of regions as a new deadlock prevention strategy can derive a maximally permissive liveness-enforcing Petri net supervisor if such a supervisor exists. However, it suffers from a number of technical problems with the increase of the size of a Petri net plant model, which are the state explosion problem and the iterative solving linear programming problems, leading the inhibitive computational complexity.This research first generates a complete reachability graph for a Petri net system. The control places are designed and added by the reachability conditions, cycle equations, and separation conditions. And then combining with the characteristics of ordinary nets, we improve the separation conditions. A set of elementary separation conditions are obtained. By solving such a set of separation conditions, a set of control places is computed for the original plant model. Finally, a liveness-enforcing supervisor with simple structure and maximally permissive behavior is obtained by eliminating redundant control places. Case study shows that the method can lower computational complexity of the theory of regions. To some certain extent, the proposed method improves the computational complexity problem resulting from state explosion and solution to the linear programming problems. The number of control places which is needed to add for any ordinary net system will not exceed the smaller of the number of separation instances and |T|+1. By the algorithm formulated in this study, a liveness-enforcing supervisor of FMS with simple structure and maximally permissive behavior can be found.

Related Dissertations

  1. Hardware Implementation of Block Ciphers Algorithm Based on Petri Net,TN918.2
  2. Research on Petri Net-based Service-Oriented Modeling of Information Management Software,TP311.52
  3. Software Testing and Reliability Computing Based on Model Rebuilding,TP311.53
  4. The dynamic cross-organizational workflow Collaborative Technology,TP311.52
  5. Online real shopping guide shopping system design and implementation,TP311.52
  6. The Application and Research of FMS Modeling and Related Modules,TH165
  7. The Research of Petri Net Workflow System Base on Compiler Technology,TP311.52
  8. Disposal of Dynamic Modification in Workflow,TP311.52
  9. The Design and Realization of ERP Approval Platform Based on Workflow,TP311.52
  10. And trusted high compression video surveillance network-related research,TP277
  11. Structural Reliability Study of Flight Motion Simulator Based on ANSYS,TP391.9
  12. Petri net -based network intrusion detection system Research and Implementation,TP393.08
  13. Depot -based software process mining research,TP311.52
  14. FMS -oriented design and optimization of the automated warehouse,TP273
  15. Based on Time Petri Nets the Concentrator Site Choice Research,TD928.1
  16. Research and Implemetation of FMS Scheduling Based on Petri Nets,TH165
  17. Research on Variable Batch Flexible Manufacturing Application Platform for Electronic Circuit oriented tio Surface Mounting Technology,TN710
  18. Shatsky Rise Structure Analysis and It’s Formation History Discussion,P736.1
  19. Design and Implementation Multi-media Interactive System for Electronic Commerce,TP311.52
  20. Conflict Analysis of Train Operation System Based on a Class of Hybrid Petri Nets,U29-39
  21. Study on a Petri-Net Based Intelligent Monitoring of Batch Process,TP277

CLC: > Industrial Technology > Machinery and Instrument Industry > Machinery Manufacturing Technology > Flexible manufacturing systems and flexible manufacturing cell
© 2012 www.DissertationTopic.Net  Mobile