时间Petri网模拟能力的研究

Study on Modeling Power of Time Petri Net

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

The modeling power of a system model is always one of the most important research issues in system modeling. The basic concepts of time Petri net are firstly introduced in this paper. Then the modeling power of time Petri net is discussed. Following an example of ＂Zero Examination＂ which illustrates that modeling power of time Petri net is superior to that of classic Petri net, for the first time we give a proof that shows that time Petri net has the same modeling power as the Top Model of computing science Turing Machine. Finally, we present a method of transforming a timed Petri net, another Petri net which has time factors, to a time Petri net; this indicates that time Petri net is not in- ferior to other Petri nets with time factors despite its simple structur. This also presents another efficient method of studying timed Petri net as well.