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

基于Petri网分解技术的死锁分析与控制

ABSTRACT第5-6页
摘要第7-10页
List of Symbols第10-12页
List of Abbreviations第12-15页
Chapter 1 Introduction第15-21页
    1.1 Background and Literature Review第15-18页
    1.2 Research Content and Significance第18-19页
    1.3 Thesis Organization第19-21页
Chapter 2 Preliminaries第21-31页
    2.1 Multi-Set第21页
    2.2 Basic Definitions of Petri Nets第21-25页
    2.3 Structural Invariants第25-27页
    2.4 Reachability Graph第27-28页
    2.5 S~3PR Nets第28-30页
    2.6 Conclusion第30-31页
Chapter 3 Control Place Computation第31-37页
    3.1 Control Place Computation Based on Place Invariant第31-33页
    3.2 Vector Covering Approach for Place Invariant Control第33-35页
    3.3 Conclusion第35-37页
Chapter 4 Deadlock Prevention Strategy Based on Decomposition Techniques第37-57页
    4.1 Decomposition and Merging of Petri Nets第37-40页
    4.2 Deadlock Analysis第40-46页
    4.3 Supervisors Design for S~3PR第46-51页
    4.4 Experimental Results第51-55页
        4.4.1 One-level Decomposition第52页
        4.4.2 Multi-level Decomposition第52-53页
        4.4.3 Multi-branch Net Model Experiment第53-55页
    4.5 Conclusion第55-57页
Chapter 5 Optimized Deadlock Prevention Strategy Based on Decomposition Tech-niques第57-71页
    5.1 Subdivision of SRS第57-59页
    5.2 Deadlock Analysis第59页
    5.3 Supervisors Design for S~3PR第59-65页
    5.4 Experimental Results第65-70页
        5.4.1 Single-branch Petri Net Experiment第65-66页
        5.4.2 Multi-branch Petri Net Experiment第66-70页
    5.5 Conclusion第70-71页
Chapter 6 Conclusion and Future work第71-73页
References第73-77页
Acknowledgements第77-79页
Biography第79-80页

论文共80页,点击 下载论文
上一篇:医疗环境下的BTG机制研究
下一篇:基于NSST的医学图像融合算法研究