计算的模型:图灵机与Petri网

作     者：宋文 牟行军 SONG Wen;MOU Xing-jun

作者机构：西华大学数学与计算机学院四川成都610039 

基　　金：四川省教育厅应用基础研究项目(09226030) 西华大学计算机软件与理论重点学科建设(SED0802-09-1) 

出 版 物：《西华大学学报（自然科学版）》 (Journal of Xihua University:Natural Science Edition)

年 卷 期：2012年第31卷第3期

页      码：1-6页

摘      要：形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。

主 题 词：计算模型 图灵机 Petri网 计算 模型 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-159X.2012.03.001

馆 藏 号：203120299...