计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2012年
11期
3071-3074
,共4页
莫礼平%乐晓波%周恺卿%张兆海
莫禮平%樂曉波%週愷卿%張兆海
막례평%악효파%주개경%장조해
带抑制弧的Petri网%保性变换%活性%有界性%(弱)公平性
帶抑製弧的Petri網%保性變換%活性%有界性%(弱)公平性
대억제호적Petri망%보성변환%활성%유계성%(약)공평성
Petri网的保性化简是Petri网分析的一种重要途径.带抑制弧的增广Petri网在计算能力上与图灵机等价.针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致.
Petri網的保性化簡是Petri網分析的一種重要途徑.帶抑製弧的增廣Petri網在計算能力上與圖靈機等價.針對帶抑製的增廣Petri網中串聯變遷和串聯庫所兩類情況進行瞭較深入的分析,在給齣瞭相關化簡方法的基礎上,證明瞭通過這些化簡規則所得到的網繫統與原網在活性、有界性、弱公平性等動態性質上仍保持一緻.
Petri망적보성화간시Petri망분석적일충중요도경.대억제호적증엄Petri망재계산능력상여도령궤등개.침대대억제적증엄Petri망중천련변천화천련고소량류정황진행료교심입적분석,재급출료상관화간방법적기출상,증명료통과저사화간규칙소득도적망계통여원망재활성、유계성、약공평성등동태성질상잉보지일치.