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