公平Petri网中同步距离计算的一个实现算法

摘要：

同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广(可覆盖)树的概念.在原网系统的可覆盖的基础上构造出一个增广(可覆盖)树,通过增广(可覆盖)树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。

关键词： 公平Petri网 加权同步距离 观察库所 加权网系统 SWNet 增广树

作者: 王丽丽 吴哲辉

作者单位: 安徽理工大学数理系 安徽淮南 232001;山东科技大学信息科学与工程学院 山东青岛 266510 山东科技大学信息科学与工程学院 山东青岛 266510

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 16-20

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）