基于Petri网对含有不可控/不可观事件的自动制造系统的死锁控制研究

目录

声明

插图索引

符号对照表

缩略语对照表

第一章 绪论

1.1研究的背景与意义

1.2本文主要研究内容、拟解决关键问题及创新之处

1.3本文的组织结构

第二章 Petri网基础知识

2.1 Petri网基本概念

2.2数据结构相关知识介绍

2.3 Petri网基本分析技术

2.4 Petri网基础知识

2.5小结

第三章 最优步长

3.1死锁产生的条件及死锁问题的解决策略

3.2基于可达图对全可观全可控的Petri网的死锁避免算法研究

3.3不可控与不可观事件对自动制造系统无死锁控制的影响

3.4最优步长

3.5小结

第四章 含有不可控事件的自动制造系统的无死锁控制策略

4.1最优步长生成算法介绍

4.2利用最优步长进行死锁避免

4.3实例

4.4小结

第五章 含有不可观事件的自动制造系统的无死锁控制策略

5.1生成最优步长的算法介绍

5.2小结

第六章 SIMIPN平台的开发

6.1 SIMIPN概述

6.2 SIMIPN功能介绍

6.3对SIMIPN后续开发的一些建议

6.4小结

第七章 总结与展望

7.1工作总结

7.2工作展望

附录

参考文献

致谢

作者简介