| 利用关联矩阵的秩判断Petri网的公平性 |
| |
| 引用本文： | 王培良,蒋昌俊.利用关联矩阵的秩判断Petri网的公平性[J].软件学报,1994,5(12):24-29. |
| |
| 作者姓名： | 王培良 蒋昌俊 |
| |
| 作者单位： | 山东矿业学院，安泰 271019;山东矿业学院，安泰 271019 |
| |
| 摘 要： | 本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的．
|
| 关 键 词： | Petri网，公平性，秩，矩阵 |
| 收稿时间： | 1992/8/26 0:00:00 |
| 修稿时间： | 1992/12/24 0:00:00 |
USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS |
| |
| Wang Peiliang and Jiang Changjun.USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS[J].Journal of Software,1994,5(12):24-29. |
| |
| Authors: | Wang Peiliang and Jiang Changjun |
| |
| Abstract: | This paper investigates a group of necessary and sufficient conditions for judgement fairness and grouping fairness of bounded Petri nets and fairness of unbounded Petri nets using the rank of incidence matrix. These conditions are very convenient for use. |
| |
| Keywords: | Petri net fairness rank matrix |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
