计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
11期
84-86
,共3页
petri网%可达性%状态方程%可执行向量
petri網%可達性%狀態方程%可執行嚮量
petri망%가체성%상태방정%가집행향량
定义了一个petri网子类:PN=(S,T;F,M0),满足条件(∨)s ∈S→|s|≤1.证明:当目标标识Md＞0时,此petri网子类的可达性等价于状态方程Md=M0+ATX的可满足性.同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论:(1)对于满足M0+ATX＞0的每个非平凡的非负整数向量X,都( )t∈Tx:M0[t＞;(2)对于满足M0+ATX＞0的每个非平凡的非负整数向量X,X都是PN的一个可执行向量.
定義瞭一箇petri網子類:PN=(S,T;F,M0),滿足條件(∨)s ∈S→|s|≤1.證明:噹目標標識Md＞0時,此petri網子類的可達性等價于狀態方程Md=M0+ATX的可滿足性.同時,噹此petri網子類的可達性等價于狀態方程可滿足性時,可得齣如下兩點結論:(1)對于滿足M0+ATX＞0的每箇非平凡的非負整數嚮量X,都( )t∈Tx:M0[t＞;(2)對于滿足M0+ATX＞0的每箇非平凡的非負整數嚮量X,X都是PN的一箇可執行嚮量.
정의료일개petri망자류:PN=(S,T;F,M0),만족조건(∨)s ∈S→|s|≤1.증명:당목표표식Md＞0시,차petri망자류적가체성등개우상태방정Md=M0+ATX적가만족성.동시,당차petri망자류적가체성등개우상태방정가만족성시,가득출여하량점결론:(1)대우만족M0+ATX＞0적매개비평범적비부정수향량X,도( )t∈Tx:M0[t＞;(2)대우만족M0+ATX＞0적매개비평범적비부정수향량X,X도시PN적일개가집행향량.
