论文部分内容阅读
应用一种Petri网扩展CNets，描述程序代码中所隐含着的数据与控制，分别给出了程序代码的数据视图和控制视图．在CNets规范的基础上，研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系，同时给出CNets规范向经典Petri网规范的转换规则．在不运行程序的前提下，根据这一映射机制，通过CNets规范，利用经典Petri网理论对程序的性质进行分析．