| 王培良,蒋昌俊.利用关联矩阵的秩判断Petri网的公平性.软件学报,1994,5(12):24-29 |
| 利用关联矩阵的秩判断Petri网的公平性 |
| USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS |
| 投稿时间：1992-08-26 修订日期：1992-12-24 |
| DOI： |
| 中文关键词: Petri网，公平性，秩，矩阵 |
| 英文关键词:Petri net, fairness, rank, matrix. |
| 基金项目:国家自然科学基金 |
|
| 摘要点击次数: 3846 |
| 全文下载次数: 3016 |
| 中文摘要: |
| 本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的． |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
