微计算机应用
微計算機應用
미계산궤응용
MICROCOMPUTER APPLICATIONS
2009年
8期
32-37
,共6页
时延Petri网%模拟能力%零检验%随机存取机%图灵机
時延Petri網%模擬能力%零檢驗%隨機存取機%圖靈機
시연Petri망%모의능력%령검험%수궤존취궤%도령궤
Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力.时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要.本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力.而后用时延Petri网实现对计算机经典问题的建模.
Petri網是一箇功能彊大的建模工具,然而原型Petri網的模擬能力有限,而對原型Petri網的擴充可以提高其模擬能力.時延Petri網是一種重要的含時間因素的Petri網,已廣汎應用于併髮繫統的建模,所以對時延Petri網的模擬能力的研究就非常必要.本文首先說明時延Petri網能夠滿足零檢驗理論,然後通過模擬隨機存取機來證明時延Petri網具有與圖靈機相等的模擬能力.而後用時延Petri網實現對計算機經典問題的建模.
Petri망시일개공능강대적건모공구,연이원형Petri망적모의능력유한,이대원형Petri망적확충가이제고기모의능력.시연Petri망시일충중요적함시간인소적Petri망,이엄범응용우병발계통적건모,소이대시연Petri망적모의능력적연구취비상필요.본문수선설명시연Petri망능구만족령검험이론,연후통과모의수궤존취궤래증명시연Petri망구유여도령궤상등적모의능력.이후용시연Petri망실현대계산궤경전문제적건모.
