P/T_网中的同步距离

王丽丽，方贤文，方 欢，蔡瑞文

安徽理工大学 理学院，安徽 淮南 232001

P/T_网中的同步距离

王丽丽，方贤文，方 欢，蔡瑞文

安徽理工大学 理学院，安徽 淮南 232001

1 引言

Petri网作为描述异步并发现象的系统模型在许多领域得到广泛应用[1-4]，尤其在并发系统中显示出独特的优越性。然而有些系统中经常会遇到一些信息的同步问题，为了对这些同步问题进行定量的分析，C.A.Petri最先在文献[5]中将“同步距离”的概念引入到Petri网中。同步距离不仅可以对实际系统中任意两组事件之间的同步程度进行定量的描述，还可以作为刻画系统行为的工具，大量文献已经证明其对系统的分析、建模和优化提供一定的帮助，尤其在工作流领域应用最广泛[6-12]。

由于同步距离求解不仅和网的结构特征有联系而且和网的初始标识也存在联系，这无疑给同步距离的计算带来了一定的难度。目前只有一些Petri网子类如出现网[13]、标识 T-图[14]、标识 S-图[15]和标识 T-网[16]中同步距离求解已经有了较简洁的计算方法，而对于Petri网中同步距离的计算仍是一个难题。文献[17]采用观察库所来求解Petri网中同步距离，但是它只适用于那种不包含变迁出现次数不等的循环进程段。

本文讨论了P/T_网中任意两个变迁子集之间的同步距离计算，对于处于同一个公平分支的变迁子集通过采用文献[18]中带权观察库所的原理来求解它们之间的同步距离值，在此基础上进一步讨论了如何给P/T_网中连接变迁和带权观察库所之间的弧配置一个确定的权值，从而得到一个带权的同步观察P/T_系统；……