Petri网系统中变迁的分级活性判定  

Determination of the Hierarchy Liveness of Transitions in Petri net Systems

作　　者：岳昊[1] 

机构地区：[1]漳州师范学院计算机科学与工程系,福建漳州363000

出　　处：《长江大学学报（自科版）（上旬）》2010年第4期8-10,共3页JOURNAL OF YANGTZE UNIVERSITY (NATURAL SCIENCE EDITION) SCI ＆ ENG

基　　金：国家自然科学基金项目(60673053);福建省教育厅资助科技项目(JK2010037)

摘　　要：活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。Liveness is one of the basic properties of Petri nets,while the liveness of transitions in Petri net systems can be divided into four levels.Based of the effective(controlled) and repetitive vectors,this paper proposes criteria for judging the transitions to be second level live,or third level live in Petri nets.Finally,the usefulness of the methodology is illustrated with an exact sample.

关 键 词：PETRI网 活性 有效可重复向量 有效受控 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]