Petri网与函数的映射关系研究  

作　　者：孙海霞[1] 孙海春[2] 

机构地区：[1]东营市技术学院 [2]山东科技大学

出　　处：《中小企业管理与科技》2010年第9期253-253,共1页Management & Technology of SME

基　　金：山东科技大学研究生创新基金等项目的资助

摘　　要：本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型,对每个Petri网进行封装,组合所有的Petri网,完成系统的开发。最后,给出一个实例,验证了Petri网与函数之间的对应关系。

关 键 词：PETRI网 函数 软件开发体系 可信性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]