时间petri网模拟能力的研究

模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间petri网的模拟能力比传统petri网要强，并首次证明了时间petri网与计算科学的最高模型——图灵机有相等的模拟能力；最后给出了另外一种含时间因素的时延petri网向时间petri网的转换方法，这说明了时间petri网虽然形式上较为简单，但其模拟能力却并不比其它含时间因素的petri网逊色，同时为时延petri网的研究提供了另外一种有效方法。