首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文--自动机理论论文

基于结构和可达图分析的Petri网优化控制器研究

ABSTRACT第5-6页
摘要第7-11页
List of Symbols第11-13页
List of Abbreviations第13-16页
Chapter 1 Introduction第16-22页
    1.1 Deadlocks in Flexible Manufacturing Systems第16-17页
    1.2 Deadlocks Resolution Based on Petri nets第17-19页
    1.3 Thesis Organization第19-22页
Chapter 2 Preliminaries第22-36页
    2.1 Theory of Petri Nets第22-28页
        2.1.1 Multiset第22-23页
        2.1.2 Formal Definitions第23-25页
        2.1.3 Structural Properties第25-26页
        2.1.4 Reachability Graph第26-28页
    2.2 Some Application Subclasses of Petri Nets第28-32页
        2.2.1 S3PR第29-31页
        2.2.2 ES3PR第31-32页
    2.3 MIP Method第32-33页
    2.4 TGAL Approach第33-35页
    2.5 Conclusion第35-36页
Chapter 3 Deadlock Prevention Policy for Ordinary Petri Nets Based on Siphons andReachability Graph Analysis第36-54页
    3.1 Computation of Deadlock markings by SMSs第36-41页
    3.2 Computation of FBMs第41-46页
    3.3 Deadlock Prevention Policy第46-49页
    3.4 Experimental Results第49-51页
    3.5 Conclusion第51-54页
Chapter 4 Deadlock Control Policy for S3PR Based on Siphons第54-76页
    4.1 Siphon Control Method第54-59页
        4.1.1 A Siphon Control Method in S3PR第55-57页
        4.1.2 A Siphon Control Method in ES3PR第57-59页
    4.2 Siphon Extraction From a Plant第59-63页
    4.3 Deadlock Prevention Policy for S3PR第63-70页
    4.4 Case Study and Discussion第70-75页
        4.4.1 Case Study第70-73页
        4.4.2 Discussion第73-75页
    4.5 Conclusion第75-76页
Chapter 5 Conclusion and Future Work第76-78页
References第78-84页
Acknowledgements第84-86页
Biography第86-87页

论文共87页,点击 下载论文
上一篇:大数据环境下的多分类逻辑回归算法研究与应用
下一篇:上海师范大学餐饮服务满意度提升的实证研究