| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-17页 |
| ·论文的研究背景 | 第10-15页 |
| ·论文研究的意义 | 第15页 |
| ·论文的主要内容和结构安排 | 第15-17页 |
| 2 基本知识 | 第17-33页 |
| ·Petri网 | 第17-21页 |
| ·有色Petri网 | 第21-33页 |
| 3 有色Petri网的动态性质判定 | 第33-38页 |
| ·可达性和可逆性 | 第34-35页 |
| ·有界性和安全性 | 第35-36页 |
| ·活性 | 第36-37页 |
| ·公平性 | 第37-38页 |
| 4 组装生产线形式化描述及性质验证 | 第38-54页 |
| ·有色Petri网建模知识 | 第38-45页 |
| ·有色Petri网模型的描述 | 第45-49页 |
| ·动态属性状态空间分析 | 第49-54页 |
| 5 总结与展望 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 致谢 | 第58-59页 |
| 攻读学位期间的研究成果 | 第59页 |