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

System Developing Method on Unified Petri Net Model

作　　者：王志坚[1] 魏定国[1] 吴时霖[2] 

机构地区：[1]广东商学院信息学院,广东广州510320 [2]复旦大学计算机系,上海200433

出　　处：《系统仿真学报》2007年第A01期175-178,共4页Journal of System Simulation

基　　金：国家自然科学基金(60503007);广东省自然科学基金(06300970)。

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

关 键 词：PETRI网 系统建模 系统分析 IDEF0 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]