一种将顺序图映射到有色Petri网的方法
| 摘要 | 第3-4页 |
| ABSTRACT | 第4-5页 |
| 第一章 绪论 | 第8-14页 |
| 1.1 论文的研究背景 | 第8-9页 |
| 1.2 国内外研究现状 | 第9-11页 |
| 1.3 论文的选题依据 | 第11-12页 |
| 1.4 论文的主要工作 | 第12-13页 |
| 1.5 论文的创新点 | 第13页 |
| 1.6 论文的组织结构 | 第13-14页 |
| 第二章 相关研究基础介绍 | 第14-20页 |
| 2.1 顺序图 | 第14-17页 |
| 2.2 PETRI网 | 第17-20页 |
| 第三章 并发关系的提取及映射 | 第20-27页 |
| 3.1 并发关系的提取 | 第20-21页 |
| 3.2 并发结构的映射 | 第21-27页 |
| 第四章 组合片段映射方法改进及设计 | 第27-38页 |
| 4.1 ALTNATIVE片段 | 第27-31页 |
| 4.1.1 Altnative片段映射分析改进 | 第27-29页 |
| 4.1.2 Altnative片段映射算法设计 | 第29-31页 |
| 4.2 LOOP片段 | 第31-34页 |
| 4.2.1 Loop片段映射分析改进 | 第31-33页 |
| 4.2.2 Loop片段映射算法设计 | 第33-34页 |
| 4.3 BREAK片段 | 第34-38页 |
| 4.3.1 Break片段映射分析改进 | 第34-36页 |
| 4.3.2 Break片段映射算法设计 | 第36-38页 |
| 第五章 顺序图到CPN映射方法的实现 | 第38-47页 |
| 5.1 映射方法 | 第38-41页 |
| 5.2 案例分析 | 第41-47页 |
| 5.2.1 顺序图实例 | 第41-42页 |
| 5.2.2 映射为CPN模型 | 第42-44页 |
| 5.2.3 模型验证 | 第44-47页 |
| 第六章 算法实现及相关工作对比 | 第47-54页 |
| 6.1 算法实现 | 第47-51页 |
| 6.2 相关工作对比 | 第51-54页 |
| 第七章 总结与展望 | 第54-56页 |
| 7.1 工作总结 | 第54-55页 |
| 7.2 工作展望 | 第55-56页 |
| 致谢 | 第56-57页 |
