时间Petri网模拟能力的研究

计算机科学 ›› 2006, Vol. 33 ›› Issue (4): 234-235.

时间Petri网模拟能力的研究

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金重大研究计划重点项目（90412012）、国家自然科学基金项目（60173053）.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

关键词: 时间Petri网模拟能力图灵机时延Petri网转换方法

Abstract: 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 ex

Key words: Time Petri net, Modeling power,Turing machine,Timed Petri net,Transforming method

. 时间Petri网模拟能力的研究[J]. 计算机科学, 2006, 33(4): 234-235. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed