Petri網(wǎng)在系統(tǒng)建模中的應(yīng)用.pdf

1、對大型、復(fù)雜的計算機(jī)應(yīng)用軟件設(shè)計和開發(fā)，常用的方法主要有兩種：結(jié)構(gòu)化工程方法和面向?qū)ο蠓椒ā＝Y(jié)構(gòu)化工程方法由于功能建模和信息建摸的思路和表示不一致，嚴(yán)重影響兩階段的過渡，給編程和軟件維護(hù)造成極大的困難。面向?qū)ο蟮姆椒朔私Y(jié)構(gòu)方法的缺點，整個開發(fā)過程用統(tǒng)一的面向?qū)ο蠼７椒?，減少了工程階段間過渡的難度。但面向?qū)ο蟮姆椒ㄈ狈ο鄳?yīng)的模型分析技術(shù)，面臨系統(tǒng)的確認(rèn)和驗證問題。Petri網(wǎng)是一種基于形式化建模和分析方法的網(wǎng)絡(luò)理論，具有嚴(yán)格的數(shù)學(xué)基

2、礎(chǔ)和規(guī)范化語義，能夠?qū)κ录牟l(fā)、同步、沖突、資源共享等特性建立模型，清楚的描述系統(tǒng)內(nèi)部的相互作用，又能夠?qū)ο到y(tǒng)的動態(tài)性質(zhì)進(jìn)行分析，適合描述復(fù)雜的系統(tǒng)動態(tài)行為。但Petri網(wǎng)在建模復(fù)雜的系統(tǒng)時得到的模型往往規(guī)模很大，不利于實現(xiàn)和分析，影響其可用性。同時Petri網(wǎng)是一種抽象的數(shù)學(xué)符號，并不是對問題領(lǐng)域的直觀的表示，對非專業(yè)人員來說難以理解、交流和討論。
　　本文探討了Petri網(wǎng)與傳統(tǒng)的建模方法相結(jié)合的建模方法，試圖找出將建模、分

3、析、實現(xiàn)技術(shù)統(tǒng)一起來的并且便于使用的建模方法。在討論P(yáng)etri網(wǎng)與結(jié)構(gòu)化建模方法相結(jié)合時，從功能分解的角度的入手，引入了約束集的概念。在經(jīng)過功能劃分之后，利用各功能模塊的資源約束集，實現(xiàn)了Petri網(wǎng)子系統(tǒng)的自動集成，形成概念級的系統(tǒng)模型。然后深入研究了對每一個子功能模塊建模的方法，盡量將系統(tǒng)應(yīng)有的性質(zhì)在構(gòu)造模型時就考慮到，以便于形成良好結(jié)構(gòu)的網(wǎng)模型和簡化后續(xù)的驗證工作。在探討Petri網(wǎng)與面向?qū)ο蠼７椒ńY(jié)合時，在給出了面向?qū)ο驪et