摘要
Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力。时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要。本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力。而后用时延Petri网实现对计算机经典问题的建模。
Petri net is a powerful modeling tool, but prototype Petri net is limited by it＇ s simulation capability, extended Petri nets can elevation Petri nets＇ simulation capability. Timed Petri nets are very important ones which are used in many Concurrent systems,so it is important to study in simulation capability of timed Petri nets. Firstly, This article illustrates that timed Petri nets can satisfy zero testing theory, and then proved that the timed Petri nets have the same simulation capability with Turing machine by modeling random access machine. At last, a classic computer problem is proposed for example.
出处
《微计算机应用》
2009年第8期32-37,共6页
Microcomputer Applications
基金
国家自然科学基金项目(60673053)
关键词
时延PETRI网
模拟能力
零检验
随机存取机
图灵机
Timed Petri nets, simulation capability, zero testing, random access machine, Turing machine
