西华大学学报（自然科学版）
西華大學學報（自然科學版）
서화대학학보（자연과학판）
JOURNAL OF XIHUA UNIVERSITY(NATURAL SCIENCE EDITION)
2006年
3期
86-89
,共4页
Petri网%非对称选择网%活性%安全性%算法
Petri網%非對稱選擇網%活性%安全性%算法
Petri망%비대칭선택망%활성%안전성%산법
针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网(ESAC)进行了再一次扩张,定义了新扩展的强化非对称选择网(NESAC).通过对NESAC的活性与安全性的讨论,得到了非对称选择网(AC)的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法.该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征.
針對Petri網的子類的活性和安全性,對AC網的子類,擴展的彊化非對稱選擇網(ESAC)進行瞭再一次擴張,定義瞭新擴展的彊化非對稱選擇網(NESAC).通過對NESAC的活性與安全性的討論,得到瞭非對稱選擇網(AC)的一箇大類的某些性質判定;進而討論瞭AC網的活性和安全性,得到瞭一箇有效的算法.該課題研究瞭網的閤成的一些基本性質,從理論上討論瞭AC網的活性特徵.
침대Petri망적자류적활성화안전성,대AC망적자류,확전적강화비대칭선택망(ESAC)진행료재일차확장,정의료신확전적강화비대칭선택망(NESAC).통과대NESAC적활성여안전성적토론,득도료비대칭선택망(AC)적일개대류적모사성질판정;진이토론료AC망적활성화안전성,득도료일개유효적산법.해과제연구료망적합성적일사기본성질,종이론상토론료AC망적활성특정.
