|
|||||
|
|
| Petri网系统的公平性判定 | |
| 引用本文： | 岳昊. Petri网系统的公平性判定[J]. 长春师范学院学报, 2010, 29(5) |
| 作者姓名： | 岳昊 |
| 作者单位： | 漳州师范学院计算机科学与工程系,福建漳州,363000 |
| 基金项目： | 福建省教育厅资助科技项目,国家自然科学基金资助项目,漳州师范学院博士科研启动基金 |
| 摘 要： | 一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-.本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件.任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)>0且X(i)=0.最后,用一个实例展示结论的应用过程. |
| 关 键 词： | Petri网 公平性 有效可重复向量 有效受控 |
The Determination of Fairness in Petri Net Systems |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |