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

同步距离是刻画事件之间同步关系的一个重要的定量分析手段，已经有相关文献表明它对系统的设计和分析提供了很大的帮助，尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法，为了使得更多的网系统其同步距离计算也能够有简洁的算法，证明了若一个网系统的行为等价与某个特殊的子网，那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题，并且给出了寻找其行为等价的特殊子网的算法，最后进行了相应的实验验证。

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

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 .