| 公平网的一组直接判断条件 |
| |
| 引用本文： | 王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. |
| |
| 作者姓名： | 王培良 吴哲辉 |
| |
| 作者单位： | 山东矿业学院应用数学与软件工程系，山东矿业学院应用数学与软件工程系 泰安 271019，泰安 271019 |
| |
| 摘 要： | 本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.
|
| 关 键 词： | Petri网 公平网 线性相关 |
CONDITIONS FOR DIRECTLY DECIDING FAIR NETS |
| |
| Wang Peiliang and Wu ZhehuiDept. of Applied Mathematics and Software Engineering,Shandong Institute of Mining andTechnology,Taian.CONDITIONS FOR DIRECTLY DECIDING FAIR NETS[J].Chinese Journal of Computers,1993,16(1):53-58. |
| |
| Authors: | Wang Peiliang and Wu ZhehuiDept of Applied Mathematics and Software Engineering Shandong Institute of Mining andTechnology Taian |
| |
| Affiliation: | Wang Peiliang and Wu ZhehuiDept. of Applied Mathematics and Software Engineering,Shandong Institute of Mining andTechnology,Taian 271019 |
| |
| Abstract: | A set of necessary and sufficient conditions which can be used to decide directly whether a Petri net is a fair net is given in this paper. With these conditions, the structurally bounded subnet for the given Petri net need not be found. Therefore, the process for deciding whether a Petri net is a fair net can be sim-pliffied, and the case that some transitions may become isolated vertices when the structurally nonbounded places are deleted from the original net can be avoided. |
| |
| Keywords: | Petri net fair net linear dependence |
| 本文献已被 CNKI 维普 等数据库收录！ |
