新扩展强化非对称选择网的有界性与单调性  

Boundedness and Liveness Monotonicity of New Extended Strong Asymmetric Choice Nets

作　　者：宋文[1] 伊良忠[1] 牟行军[1] 

机构地区：[1]西华大学计算机与数理学院,四川成都610039

出　　处：《西南交通大学学报》2004年第5期656-659,共4页Journal of Southwest Jiaotong University

基　　金：四川省科技厅应用基础项目(03226125)

摘　　要：根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然具有ESAC活性单调性的特征.Based on the structural theory of Petri nets, the boundedness and liveness monotonicity of a subcategory of asymmetric choice (AC) nets, new extended strong asymmetric choice (NESAC) nets, were studied. The sufficient and necessary condition for determining structural liveness and boundedness of an NESAC net is that N is covered by a cluster of siphons and every nonempty minimum siphon must be a trap and satisfies t~∩H=t~∩H=1. NESAC net has the same characteristic of liveness monotonicity as ESAC net does.

关 键 词：非对称选择网(AC网) 结构活 活性单调性 结构有界 

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