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

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

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

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