通过对IDEF0和Petri网两种建模方法分析与对比,表明基于Petri网建模可以解决IDEF0方法在模型的动态性、完备性和方法连贯性方面存在的问题;提出IDEF0模型到Petri网模型的转换思路和基本转换方法,以一个信息管理模块为例实现模型转换,在此基础上提出了改进策略。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。
Characteristics of IDEFO modeling method and Petri net method were analyzed and compared. An IDEFO model is non-dynamic and incomplete, and current IDEF system serial methods are not uniform so that the system developing processes are divided into many separate ones. These problems can be overcome by modeling complete system using Petri net. The principle and basic method to translate an IDEFO model into Petri net model was proposed. As an example, an information management module was translated successfully. Some key technologies to improve the basic method were discussed. The research helps to develop system by unified Petri net method, and provides a new way to solve current problems.