基于面向资源Petri网的自动化制造系统的死锁控制与优化

目录

摘要

第一章绪论

1．1研究意义

1．2国内外的研究现状

1．3研究目标及创新点

1．4研究内容与组织结构

1．4．1研究内容

1．4．2组织结构

第二章正规Petri网与拓展Petri网

2．1多重集合

2．2 Petri网

2．3 Petri网的行为特性

2．3．1有界性

2．3．2可达性

2．3．3活性

2．3．4守恒性

2．4 Petri网的可达图

2．5拓展的Petri网

2．5．1有限容量Petri网

2．5．2着色Petri网

2．6小结

第三章自动化制造系统及其Petri网建模

3．1自动化制造系统概述

3．1．1刚性与柔性制造系统

3．1．2自动化制造系统定义

3．2 自动化制造系统的分类

3．3 自动化制造系统的状态转移

3．4 自动化制造系统的状态特征

3．5 自动化制造系统的POPN建模

3．6几个常见的POPN范例

3．7 POPN中的特点

3．8自动化制造系统的ROPN建模

3．8．1ROPN定义

3．8．2ROPN状态演化规则

3．8．3ROPN建模

3．9ROPN之特征

3．10POPN与ROPN之比较

3．11小结

第四章最大许可线性控制策略

4．1 自动化制造系统中的死锁问题

4．2自动化制造系统中死锁问题的解决方法

4．3 自动化制造系统的死锁预防策略

4．3．1可达性分析

4．3．2结构分析

4．4基于区域理论的线性约束

4．4．1标识分类

4．4．2最大许可行为监督控制器综合

4．5标识覆盖技术

4．6基于整数线性规划的最大许可控制策略综合

4．7小结

第五章基于面向资源Petri网结构的控制器综合

5．1引言

5．2 ROPN的死锁相关的网结构

5．3 ROPN的监控器

5．4死锁控制策略正确性的充分条件

5．5缩小可达图规模

5．6 ROPN的结构分析

5．6．1基础与常用符号

5．6．2单一颜色且充满的情形

5．6．3标识死锁的情形

5．6．4向前一步死锁的情形

5．6．5单一颜色的情形

5．6．6最大许可约束的线性规划求解

5．6．7综合最大许可控制器流程

5．7监督控制器的实现

5．8两个规模稍大的范例

5．9小结

总结与展望

参考文献

攻读学位期间发表的论文

声明

致谢