Petri 网图形建模仿真系统的研究与开发.doc

第31卷第2期 2004年北京化工大学学报 JOURNALOFBEIJINGUNIVERSITYOFCHEMICALTECHNOLOGY Vol.31,No.2 2004 Petri网图形建模仿真系统的研究与开发 张建朝　刘振娟　李宏光 (北京化工大学信息科学与技术学院,北京　100029) 摘　要:将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型。关键词:面向对象;Petri网;建模仿真;Delphi中图分类号:TP39119 　　Petri网(PN)是一种描述具有分布、并发、异步特征系统的图形工具[1],在计算机、通信、电子、机 械等许多领域得到了深入研究和广泛应用。在使用Petri网进行系统分析时,如果系统的状态变量数很大,就需要借助于软件工具[2]。目前存在的Petri网工具一般采用编写程序的方式来完成网络的描述,如美国Duke大学开发的随机Petri网软件包(SP2NP)的使用界面是C语言形式的SPN描述语言[3],没有友好直观的人机界面,无法方便地建立、检验、修改模型。国内的Petri网软件工具的开发目前尚处于开始阶段,工具少且功能不完善[4]。本文讨论了将面向对象的思想和Petri网基本理论相结合[5],建立基于图形界面的Petri网建模仿真系统的开发思路,并使用该系统进行了一个实例仿真分析。 文中开发的系统采用Windows可视化开发工具Delphi进行开发。开发的系统不仅拥有良好的人机界面,可以以图形的方式直观地进行Petri网模型的建立、编辑、仿真,同时采用面向对象的思想描述模型,与其他基于状态转移矩阵的仿真方法相比,更符合人类的认知过程。 {∞},库所容量函数,K(P)=∞表示P的容量为无 穷,N+={1,2,…};W　F→N+,弧权值;M0　P→N,初始标识。Petri网的状态由标识M来表示,网标识可以用标识向量来定义。Petri网的动态行为是通过标识变化反映出来的,标识变化遵循一定的规则———点火规则:(1)一个变迁,如果它的每一个输入库所都包含至少一个托肯,则这个变迁是使能的;(2)一个使能变迁的激发,将引起其每个输入库所中托肯减少,而每个输出库所中增加托肯[6]。 如果在一个Petri网中所有有向弧的权值为1则称该网为普通网,在制造系统中一般使用普通网,这也是本文的研究对象。 2　Petri网图形建模仿真系统的开发 211　软件功能及组成 软件实现了Petri模型的建立、编辑修改、存储、分析和动态运行仿真功能,为此软件设计了四个模块,软件结构如图1所示。 1　Petri网定义和性质 Petri网模型是一个六元组(P,T,F,K,W,M0),其中　P={P1,P2,…,Pm}是有限库所(Place) 集;T={T1,T2,…Tm}为有限变迁(Transition)集; + FΑ(P×T)∪(T×P)为有向弧集;K　P→N∪ 图1　软件结构图 收稿日期:2003207203 第一作者:男,1978年生,硕士生E2mail:jian.chao@163.net Fig.1　Programstructure 1)Petri网模型描述模块　实现Petri网模型的 绘制、编辑功能; 第2期　　　　　　　　　　　　张建朝等:Petri网图形建模仿真系统的研究与开发?101? 2)Petri网模型分析模块　分析Petri网模型的 性质如关联矩阵、可达树;3)Petri网仿真模块　动态显示Petri网模型在给定初始条件下托肯的流动,系统状态的变化; 4)管理模块　打开、存储模型相关的信息文件。212　核心类的设计 Petri网由结点和弧线组成,可以抽象出TNode(结点类)和TArc(弧线类)两个类。结点有库所和 变迁两种,所以在TNode类基础上继承出TPlace(库所类)和TTrans(变迁类)。这些类不仅要能准确地描述出Petri网模型的拓扑结构,还要实现在窗口中显示模型的功能。下面是TNode类的定义Type 　TNode=class protected Fcanvas　Tcanvas;　∥窗口画布,结点在其上 进行绘制 Rgn　HRGN;　∥结点所包含的区域Firstp,Endp　Tpoint;　∥记录结点的位置信息 Inputlist,Outputlist　Tlist;　∥记录输入输出 结点的列表 Inarcs,Outarcs　Tlist;　∥记录输入弧线和输出弧线的列表 public constructorCreate(cli