公平网的一个充分必要条件

被引:15
作者
吴哲辉
王培良
机构
[1] 山东矿业学院
[2] 山东矿业学院 泰安
[3] 泰安
关键词
Petri网; 公平性; 分组公平网;
D O I
暂无
中图分类号
学科分类号
摘要
<正> 文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是结构有界的位置(连同它们所关联的弧)后所得到的子网是结构有界网;其次,证明了这个子网同原网有相同的公平性,从而,通过对此子网的公平性检验,可以判断原网的公平性。此结论可推广到分组公平网。
引用
收藏
页码:1211 / 1213
页数:3
相关论文
共 1 条
[1]  
Handbook of Software Engineering, Van Nostrand. Murata,T. New York . 1984