petri网的同步距离计算.pdfVIP

维普资讯 计算机科学2005Vo1．32No．12 Petri网的同步距离计算 ) 张金泉 倪丽娜 蒋昌俊 (同济大学计算机科学与工程系 上海200092) (山东科技大学信息科学与工程学院 青岛266510) 摘 要 同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概 念模型并讨论了计算同步距离的几个结论 ，给 出了s-元中初始标识的配置算法以及以此为基础计算同步距离的算 法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。 关键词 Petri网，同步距离，S-元，同步距离计算网(SDCNet) AnAlgorithm ofComputingSynchronicDistanceinPetriNets ZHANG Jin-Quan NILi—Na J~ANG Chang-Jun (DepartmentofComputerScience，TongiiUniversity，Shanghai200092) (Co llegeofInformationScience Engineering，ShandongUniversityofScience Technology，Qingdao266510) A~tmct ThesynchronicdistanceiSanimportantanalyzingmetrictOdescribethesnychronicrelationshipbetweentwo events．TheconceptmodelSDCNet(snychronicdistancecomputingnet)iSpresentedandsomeconclusionsofcompu— tingsny chronicdistancearediscussed．Thealgorithm ofsetting initialmarkingsinS-elementsiSgiven andthatof computingsnychronicdistancebasingonthefirstalgorithm isalsopresented,Theanalysisshowsthatthealgorithms havethesamecomplexityasthatofconstructingcoverabilitytree． Keywords Petrinet，Snychronicdistance，s-element，Snychronicdistancecomputingnet(SDCNet) tri网，文[6]给 出了Petri网中变迁之间同步距离的计算公 1 引言 式，基于此公式，T_图[、出现网[和 图[。]中同步距离的计 Petri网作为描述异步并发现象的系统模型在许多领域 算有较简洁的算法，而一般Petri网中变迁的同步距离计算还 得到了广泛应用_l1]，尤其是在并发系统中更显示出独特的 没有一个较好的方法。同时，由文[6]给出的同步距离计算公 优越性。在许多系统设计 中，必须考虑信息的发送 、传递、接 式对一般的Petri网还存在一定的问题。在如图 1(a)所示的 收等动作间的同步，事件(动作)之间的同步关系可 以通过同 Petri网中，所有可能的引发序列为：tl、t2、tlt2t3和 tztlt3，这 步距离进行定量刻画。同步距离是描述两个事件间同步的一 样由文[6]中公式计算得到 t和 t之间的同步距离 d =i。 个重要的系统恒定性质，反映了两个变迁之间的独立程度，非 而在初始标识下 t