论文部分内容阅读
Petri网是一个功能强大的建模工具，然而原型Petri网的模拟能力有限，而对原型Petri网的扩充可以提高其模拟能力。时延Petri网是一种重要的含时间因素的Petri网，已广泛应用于并发系统的建模，所以对时延Petri网的模拟能力的研究就非常必要。本文首先说明时延Petri网能够满足零检验理论，然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力。而后用时延Petri网实现对计算机经典问题的建模。