小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2012年
7期
1596-1598
,共3页
弱持续Petri网%同步合成%行为特征%结构特征
弱持續Petri網%同步閤成%行為特徵%結構特徵
약지속Petri망%동보합성%행위특정%결구특정
弱持续Petri网是Petri网的一个子类,与系统的持续性密切相关.本文刻画了活的弱持续Petri网的一个行为特征,即,如果在一个标识M下两个不同的变迁t1与t2均是使能的,则存在两个变迁序列σ′与σ″满足:(1) t1σ′t2与t2σ″t1在M下是使能的,(2)t1不出现在σ″中,(3)t2不出现在σ′,并且(4)σ′与σ″的发生数向量相同.同时,本文揭示了弱持续网的两个结构特征,并证明了持续Petri网的同步合成网仍然保持持续性.这些结论丰富了Petri网的基本理论.
弱持續Petri網是Petri網的一箇子類,與繫統的持續性密切相關.本文刻畫瞭活的弱持續Petri網的一箇行為特徵,即,如果在一箇標識M下兩箇不同的變遷t1與t2均是使能的,則存在兩箇變遷序列σ′與σ″滿足:(1) t1σ′t2與t2σ″t1在M下是使能的,(2)t1不齣現在σ″中,(3)t2不齣現在σ′,併且(4)σ′與σ″的髮生數嚮量相同.同時,本文揭示瞭弱持續網的兩箇結構特徵,併證明瞭持續Petri網的同步閤成網仍然保持持續性.這些結論豐富瞭Petri網的基本理論.
약지속Petri망시Petri망적일개자류,여계통적지속성밀절상관.본문각화료활적약지속Petri망적일개행위특정,즉,여과재일개표식M하량개불동적변천t1여t2균시사능적,칙존재량개변천서렬σ′여σ″만족:(1) t1σ′t2여t2σ″t1재M하시사능적,(2)t1불출현재σ″중,(3)t2불출현재σ′,병차(4)σ′여σ″적발생수향량상동.동시,본문게시료약지속망적량개결구특정,병증명료지속Petri망적동보합성망잉연보지지속성.저사결론봉부료Petri망적기본이론.
