公平网的一组直接判断条件

被引：21

作者：

王培良

吴哲辉

机构：

[1] 山东矿业学院应用数学与软件工程系

[2] 山东矿业学院应用数学与软件工程系泰安

来源：

关键词：

Petri网; 公平网; 线性相关;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.

引用

页码：53 / 58

页数：6