一类对象Petri网建模与验证方法研究
| 第一章 绪论 | 第1-11页 |
| ·形式化建模及验证方法的研究现状 | 第6-8页 |
| ·研究背景及意义 | 第8-9页 |
| ·本文的内容与结构 | 第9-11页 |
| 第二章 相关知识 | 第11-21页 |
| ·Petri网理论 | 第11-15页 |
| ·Petri网的定义 | 第11-13页 |
| ·Petri网基本性质及分析方法 | 第13-15页 |
| ·时态逻辑 | 第15-17页 |
| ·Petri网的分析和验证工具 | 第17-21页 |
| ·模型验证的原理 | 第17页 |
| ·常见的专用Petri网分析工具 | 第17-19页 |
| ·模型验证工具SMV | 第19-21页 |
| 第三章 精确标识PNO的建模与验证方法 | 第21-29页 |
| ·精确标识PNO模型 | 第21-24页 |
| ·精确标识PNO模型的扩展和验证 | 第24-29页 |
| ·精确标识PNO的扩展 | 第24-25页 |
| ·转换算法PNO2SMV | 第25-27页 |
| ·转换算法说明 | 第27-29页 |
| 第四章 TOPNO的建模与验证 | 第29-43页 |
| ·列车运行PNO模型 | 第29-32页 |
| ·TOPNO的定义 | 第29-32页 |
| ·TOPNO的特点 | 第32页 |
| ·TOPNO模型的扩展和验证 | 第32-40页 |
| ·TOPNO模型的扩展 | 第33-38页 |
| ·TOPNO到SMV程序的转换说明 | 第38-40页 |
| ·应用实例及结果分析 | 第40-43页 |
| ·应用实例 | 第40-41页 |
| ·结果分析 | 第41-43页 |
| 第五章 总结与未来的工作 | 第43-44页 |
| 致谢 | 第44-45页 |
| 参考文献 | 第45-50页 |
| 附录：攻读硕士学位期间发表的论文 | 第50页 |
