Petri网并分解动态性质的进一步研究.pdfVIP

维普资讯 第28卷 第 12期 湖南科技学院学报 VO1．28NO．12 2007年 I2月 JournalofHunanUniversityofScienceandEngineering Dec．20o7 Petri网并分解动态性质的进一步研究 匡迎春 。 沈 岳 旷海兰 (1．湖南农业大学 工学院，湖南 长沙 410128；2．湖南农业大学 信息学院，湖南 长沙 410128： 3．衡阳师范学院 计算机学院，湖南 衡阳 421008) 摘 要：并分解技术是解决Petri网 “状态爆炸”问题的有效途径，也是近几年Petri网技术研究的主流方向。本文在已 有文献的研究基础上，提出了并分解的一条动态性质，并根据状态方程进行 了证明，应用实例进行了验证；这对于复杂系统 的动态行为分析具有重要作用。 关键词：Petri网；状态爆炸；并分解；动态性质 中图分类号：TP393 文献标识码：A 文章编号：1673—2219(2007)12—0059—03 1 引 言 US2=S，Tl= S‘lUSl，T2= S‘2US2，‘令Ni= (Si，Ti；Fi) Petri网是研究异步并发系统的强有力工具，通过对实 (i=1，2)，其中 Fi=Fn ((SiXTi)U (TiXSi))上述过 际系统的网模型的分析，可以揭示出被模拟系统在行为方面 程称为把网N分解成了两个子网Nl，N2，满足 NluN2=N。 的重要信息。Petri网技术 自提出以来 ，受到计算机以及其 这种把网通过库所集的划分而分解成两个 (或几个)子 他领域的广泛重视并得到更加深入的研究，但随着科学技术 网的并的分解称为Petri网的并分解 II。 的发展，实际系统越来越庞大和复杂，网的可达状态和条件 定义 3 设有Petri网∑= (N，Mo)，N= (S，T；F)， 数量不断的增加，导致了Petri网节点过多，即 “状态空间 令∑= (N；，M ) (i=1，2)，其中 Ni= (Si，Ti；Fi)(i 爆炸”问题。针对这一问题，国内外许多学者进行了广泛而 =1，2)是把网N 通过由并分解 I或并分解 II所得到的两 深入的研究，提出了Petri网的化筒技术，Petri网的化简技 个子网，M (S)=Mo(S)，则称∑i为∑的并分解网。 术是Petri网研究的主要课题。所谓的化简，是指在某种性 质不变的基础上，采用等效变换，以达到缩小状态空问、简 化分析的目的…。网的分解技术是化简方法之一 ，也是被认 t5 为解决 Petri网 “状态爆炸”问题的最有效途径 ，是近几年 S4 来 Petri技术研究的主流方向…，国内外许多学者都在方面 t4 进行了研究。本文在原有的研究基础上，进行了进一步的研 究，证明了并分解的动态性质，在对于分析实际系统的动态 S2