C_net到可编译表达式的映射方法

摘要	第1-6页
Abstract	第6-11页
1 引言	第11-15页
·课题研究的背景	第11-14页
·研究内容及方法	第14页
·论文的组织结构	第14-15页
2 基本知识	第15-21页
·Petri网的基本概念	第15-17页
·Petri网的关联矩阵	第17-18页
·C_net基本概念	第18-21页
3 C_net到可编译表达式的映射过程	第21-42页
·模型与程序的对应性问题	第22-23页
·C_net结构中变迁序列的确定	第23-28页
·C_net结构表达式	第28-31页
·C_net程序表达式	第31-33页
·实例分析	第33-41页
·本章小结	第41-42页
4 C_net的组合正确性分析	第42-51页
·C_net组合正确性判定的基本思想	第42-43页
·基本概念	第43页
·可完成交互数据集合Finish()求解算法	第43-44页
·无读写冲突的组合C_net正确性分析	第44-46页
·考虑读写冲突的组合C_net正确性分析	第46-47页
·含有逻辑"或"结构的组合网正确性分析	第47-48页
·实例分析	第48-50页
·小结	第50-51页
5 结束语	第51-53页
·论文主要工作总结	第51-52页
·后续研究展望	第52-53页
致谢	第53-54页
攻读硕士学位期间主要成果	第54-55页
参考文献	第55-58页