-
题名Petri网系统的公平性判定
- 1
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《长春师范学院学报（自然科学版）》
2010年第5期15-18,共4页
-
基金
福建省教育厅资助科技项目(JK2010037)
国家自然科学基金资助项目(60673053)
漳州师范学院博士科研启动基金资助项目
-
文摘
一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-。本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)>0且X(i)=0。最后,用一个实例展示结论的应用过程。
-
关键词
PETRI网
公平性
有效可重复向量
有效受控
-
Keywords
Petri net
fairness
effective repetitive vector
effective controlle
-
分类号
O231
[理学—运筹学与控制论]
-
-
题名Petri网系统中变迁的分级活性判定
- 2
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《长江大学学报（自科版）（上旬）》
CAS
2010年第4期8-10,共3页
-
基金
国家自然科学基金项目(60673053)
福建省教育厅资助科技项目(JK2010037)
-
文摘
活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。
-
关键词
PETRI网
活性
有效可重复向量
有效受控
-
Keywords
Petri net
liveness
effective repetitive vector
effective controlled
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
