子网行为等价的特殊网系统的同步距离  

Synchronic Distance of A Special Net System with Equivalent Behavior of Subclass Petri Net

作　　者：王丽丽[1] 方贤文[1] 张苗苗[1] 

机构地区：[1]安徽理工大学理学院,安徽淮南232001

出　　处：《安徽理工大学学报（自然科学版）》2014年第1期19-23,共5页Journal of Anhui University of Science and Technology:Natural Science

基　　金：国家自然科学基金资助项目(61272153;61170059);安徽省高校自然科学基金重点资助项目(KJ2011A086);安徽省自然科学基金资助项目(1208085MF105);安徽省软科学研究计划资助项目(12020503031);安徽理工大学青年教师科学研究基金资助项目(2012QNY36)

摘　　要：同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。The synchronic distance is an important analyzing method to describe the synchronic relationship be -tween two events .It is demonstrated in many literatures that the synchronic distance is very helpful in the design and analysis of the system , especially in the workflow and the control system of industrial production coordination structure design .However , only the calculation method of the synchronic distance in some special subclass of Petri nets have relatively simple algorithm , in order to make the computation of the synchronic distance in more net system is also simple , the paper proves that if the behavior of a net system is equivalent to that of some spe -cial subclass of Petri , the synchronic distance between two transitions in this net system can be transformed into the one in special subclass of Petri nets .The algorithm of determining the behavior equivalent special subclass of Petri net is also given , and the corresponding experiment was done finally .

关 键 词：PETRI网 同步距离 行为等价 特殊子网 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]