论文部分内容阅读
Petri网具有动态的特性,可用于模拟C语言程序系统的流程,另一方面,Petri网能把C语言程序系统中函数,数据之间的联系充分体现出来,可用于模拟C语言程序系统流程和模拟C语言程序系统的函数,数据之间的关系.该文首先引入两个八元组的Petri网模型CPSA和AWP,给出用CPSA网模拟C语言程序系统流程和模拟C语言程序系统流程和模拟C语言程序系统函数、数据间联系的数据结构与算法,并把它们分别具体应用于模拟AW软件系统的流程及AW软件版本更新的汉化.