Petri Nets Model of Implicit Data and Control in Program Code
Guofu Zhou, Zhuo-Min DU · Journal of Software · 2011
应用一种Petri 网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets 规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets 规范向经典Petri 网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets 规范,利用经典Petri 网理论对程序的性质进行分析.;To describe the implicit data and the implicit control in program code, CNets, one extension of Petri nets, is applied. By data view nets and control view nets, data and control of the program code are modeled. Based on the CNets specification, interactions between data flow and control flow, relations among data, operations, and resources are also captured respectively. Meanwhile, mapping rules from CNets specification to Petri nets are presented. According to the rules, from CNets specification, properties of the program are analysized through Petri nets techniques without a running a program.