| 公平Petri网中同步距离计算的一个实现算法 |
| |
| 引用本文： | 王丽丽 吴哲辉. 公平Petri网中同步距离计算的一个实现算法[J]. 系统仿真学报, 2007, 19(A01): 16-20 |
| |
| 作者姓名： | 王丽丽 吴哲辉 |
| |
| 作者单位： | [1]安徽理工大学数理系,安徽淮南232001 [2]山东科技大学信息科学与工程学院,山东青岛266510 |
| |
| 基金项目： | 国家自然科学基金（60673053;60603090）、山东省优秀中青年科学家奖励基金（2006BS01019）. |
| |
| 摘 要： | 同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广（可覆盖）树的概念。在原网系统的可覆盖的基础上构造出一个增广（可覆盖）树,通过增广（可覆盖）树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。
|
| 关 键 词： | Petri网 加权同步距离 观察库所 带观察库所的加权网系统SWNet 增广（可覆盖）树 |
| 文章编号： | 1004-731X（2007）S1-0016-05 |
| 收稿时间： | 2007-04-21 |
| 修稿时间： | 2007-05-24 |
An Algorithm of Computing Synchronic Distance in Fair Petri Nets |
| |
| WANG Li-li, WU Zhe-hui. An Algorithm of Computing Synchronic Distance in Fair Petri Nets[J]. Journal of System Simulation, 2007, 19(A01): 16-20 |
| |
| Authors: | WANG Li-li WU Zhe-hui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
