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

被引：1

作者：

王丽丽 ^{[1
]}

吴哲辉 ^{[2
]}

机构：

[1] 安徽理工大学数理系

[2] 山东科技大学信息科学与工程学院

来源：

系统仿真学报 | 2007年 / S1期

关键词：

Petri网; 加权同步距离; 观察库所; 带观察库所的加权网系统SWNet; 增广(可覆盖)树;

D O I：

10.16182/j.cnki.joss.2007.s1.010

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

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

引用

页码：16 / 20

页数：5