基于时间Petri网档案管理系统建模与分析.docVIP

基于时间Petri网档案管理系统建模与分析 　　摘 要：基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具，己被广泛应用于各个领域中。以学校档案管理系统为背景，所做的工作主要集中在如何将时间Petri网技术运用在教育档案管理工作流系统的建模中。结合学校档案管理工作流的实际应用环境，提出基于时间Petri网的档案管理系统工作流模型，并利用可达树分析方法，对其进行时序分析，用具体数据分析了档案管理工作流模型的性能。?? 　　关键词：时间Petri网；工作流建模；档案管理；可达树分析?? 　　中图分类号：TP311.1 文献标识码：A 文章编号：1672-7800（2011）10-0081-02?お? 　　?? 　　作者简介：吴鲲（1980-），男，江苏扬州人，硕士，江苏省扬州商务高等职业学院讲师，研究方向为计算机网络安全。 　　 　　0 引言?? 　　 本文研究的基于高级Petri的工作流建模方法，正是针对以往的建模方法缺乏柔性的缺陷而进行的。Petri网作为一种图形化和数学化的建模工具，自60年代由德国学者C.A.Petri提出以来，经过三十多年的发展，已被广泛地应用于各个领域进行系统建模、分析和控制。由于其强大的描述及分析能力，本系统的模型设计就采用了基于Petri网的建模方法。?? 　　1 Petri网理论?? 　　 一个Petri网的结构元素包括：库所(Place)、变迁(Translation)和有向弧(Arc)。其中的库所用圆圈来标识，用于描述可能的系统局部状态(条件或状况)。变迁用矩形标识，用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点，或者从变迁节点指向库所节点，表示库所和变迁之间的关系。?? 　　 在Petri网模型中，系统的动态特性使用令牌(Token)来标识，令牌表示为包含在库所节点中的圆点，它们在库所中的动态的变化表示系统的不同状态。如果一个库所描述一个条件，它能包含一个或不包含令牌，当一个令牌表现在这个库所中时，条件为真，否则条件为假。一个变迁(事件)有一定数量的输入和输出库所，分别代表事件的前置和后置条件。当某个变迁的所有前置条件为真时，这个变迁就会把它的所有前置条件里的令牌消耗掉，其所有的后置条件就会置成真，而前置条件则不成立。?? 　　一个Petri网表示为一个六元组，即PN=(P,T,F,W,M,M)?? 　　 （1）位置节点和变迁节点。对给定的一个标识Petri网，将其有限位置集P中的所有元表为图的“位置”节点，采用符号“○”（圆圈）表示；将其有限变迁集T中的所有元表为图的“变迁”节点，采用符号“□”（方框）表示。?? 　　 （2）有向弧。由有向弧F，可来决定在图的各个位置节点和各个变迁节点之间所存在的所有的有向弧。从位置节点p指向变迁节点t的一个有向弧表为（p，t），且称此位置p为变迁t的一个输入，此变迁t为位置p的一个输出。从变迁节点t指向位置节点p的一个有向弧表为（t，p），且称此位置p为变迁t的一个输出，此变迁t为位置p的一个输入。?? 　　 （3）变迁节点的输入集合和输出集合。对标识Petri网图，变迁t的输入集合定义为I(t)={p|(p,t)∈F}，变迁的输出集合定义为O(t)={p|(t,p)∈F}。?? 　　 （4）位置节点的输入集合和输出集合。对标识Petri网图，位置p的输入集合定义为I(p)={t|(t,p)∈F}，位置p的输出集合定义为O(p)={t|(p,t)∈F}。?? 　　 （5）有向弧的权。为简化标识Petri网图的结构表示，把多重输入或多重塑出的有向弧表为加权有向弧，即只画出一条有向弧并在其旁边标注“权”以表示输入或输出重数。当权数为1时，标注常予省略。?? 　　 （6）位置中“托肯”数的表示。在标识Petri网图中，采用在位置节点中标注相应得黑点数，以表示此位置所包含的“托肯”数。所包含的“托肯”数，i=1，2，……m，m为网络所包含的位置节点个数，则网图的状态标识M定义为如下的地一个行向量：M=[M(p),……M(p)]。?? 　　 （7）状态标识。对标识Petri网图，表M(p)为所考虑的状态下位置p中的黑点数即其所包含的“托肯”数，i=1，2，……m，m为网络所包含的位置节点个数，则网图的状态标识M定义为如下的地一个行向量：M=[M(p),……M(p)]。?? 　　 （8）初始标识。对标识Petri网图，初始标识M对应于状态标识M的初始设置。表M(p)为初始时位置p中的“托肯”数，i=1，2，……m，m为网络所包含的位置节点个数，则网图的出数标识定义为如下的一个行向量：M=[M(p),……M(p)]。?? 　　2 时间Petri网相关概念?? 　　 在一个含时间因素的Petri网