基于Petri网统一模型的系统开发方法研究

为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。

System Developing Method on Unified Petri Net Model

Different methods and models are adapted in current system developing processes; this brings problems such as non-inheritance and non-consistency. To solve these problems, a Petri net method was presented. On the basis of current subnet researches, the problem that how to keep the interface unchanged and reserve original specialties during the transition was discussed. The new methods of analyzing system data and functions were proposed, the idea of clustering algorithm was introduced to divide subsystems automatically. Characteristics of 1DEF0 modeling method and Petri net method were analyzed and compared; the principle and basic method to translate an IDEF0 model into Petri net model were presented. The Petri net based system developing method helps to solve problems met in current system developing processes.