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

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

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