基于計算模型的系統(tǒng)建模與驗證.pdf

1、計算理論是計算機軟件理論領(lǐng)域的基石。它的發(fā)展直接影響計算機科學(xué)家今天的工作。圖靈機是自動機發(fā)展的高級形式，是迄今為止模擬能力最強的計算模型，但是其結(jié)構(gòu)特點不便描述并行、并發(fā)、異步、分布、具有隨機性或抽象層次較高的系統(tǒng)。Petri網(wǎng)是一種適合描述各種具有并發(fā)現(xiàn)象的計算模型，也是一種對系統(tǒng)軟件形式化、圖形化的描述和分析工具，具有直觀、易懂和易用的優(yōu)點。通過多種分析技術(shù)對模型進行分析，即可得到有關(guān)系統(tǒng)靜態(tài)結(jié)構(gòu)和動態(tài)行為方面的信息，根據(jù)這些信息

2、可以對要開發(fā)的系統(tǒng)進行評價和改進。
　　 由“自動機”的內(nèi)涵，將Petri網(wǎng)化歸為自動機發(fā)展的高級形式之一。對圖靈機和Petri網(wǎng)以及帶抑制弧的增廣Petri網(wǎng)模擬能力、分析技術(shù)和各自的優(yōu)勢作了詳細(xì)的闡述及比較，并在此基礎(chǔ)上，考慮圖靈機的模擬能力，利用多帶圖靈機作為計算模型，定義了遞歸技術(shù)轉(zhuǎn)移函數(shù)形式，給出圖靈機調(diào)用的實現(xiàn)方法，繼而給出了圖靈機遞歸技術(shù)的實現(xiàn)，同時證明了圖靈機的調(diào)用與圖靈機的遞歸調(diào)用是圖靈可識別的；考慮Petri