基本图灵机的Petri网建模研究

【文件属性】：
文件名称：基本图灵机的Petri网建模研究
文件大小：229KB
文件格式：PDF
更新时间：2015-03-24 09:37:02
Petri网建模 该文采用Petri 网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri 网的基本概念与 定义，然后给出了一个利用Petri 网对基本图灵机进行建模的有效算法，研究了用Petri 网为基本图灵机建模的一般方法，说明了该 方法的优越性，并最终以一个建模实例验证了该方法的有效性和可行性