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