摘要：从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。

关键词：petri网 程序petri网 软件开发体系 可信性 

单位：山东科技大学信息科学与工程学院 中国科学院计算机科学国家重点实验室