声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.2 研究现状
1.3 本文的主要工作与贡献
1.4 论文的结构
第二章 Petri网基本理论
2.2 Petri网变迁的发射规则与活性判定
2.3 Petri网状态空间与可达图
2.4 本章小结
第三章 并行计算,CUDA及MPI相关理论
3.1 并行计算相关理论
3.2 CUDA相关理论
3.3 MPI相关理论
3.4 本章小结
第四章 Petri网网状态空间并行计算
4.1 Petri网状态空间串行计算算法分析与改进
4.2 基于CUDA的Petri网状态空间并行计算
4.3 基于MPI的Petri网状态空间并行计算
4.4 Petri网可达图标识类别划分求解算法
4.5 本章小结
第五章 实验结果与数据分析
5.2 实验结果与数据分析
5.3 本章小结
第六章 总结与展望
6.2 展望
参考文献
致谢
作者简介
西安电子科技大学;