Petri網(wǎng)的面向?qū)ο髣討B(tài)建模及在電梯控制中的應(yīng)用.pdf

1、面向?qū)ο蠓椒ň哂锌芍赜谩⒁拙S護(hù)、穩(wěn)定性好等特點(diǎn),它提供了抽象的封裝、多態(tài)以及繼承機(jī)制,面對龐大而復(fù)雜的系統(tǒng)描述提供了更有效的簡化手段,可有效的提高系統(tǒng)的開發(fā)效率.Petri網(wǎng)作為一種形式化的數(shù)學(xué)工具,能簡潔地描述系統(tǒng)的動態(tài)特性(如并發(fā)、同步、沖突等)和系統(tǒng)中的資源及約束條件,并有相應(yīng)的分析方法(可達(dá)樹分析、不變量分析),而且Petri網(wǎng)是一種圖形工具,易于理解和描述.因此,論文設(shè)想將面向?qū)ο蠛蚉etri網(wǎng)結(jié)合,利用它們各自的優(yōu)點(diǎn),建立一

2、種更有效的系統(tǒng)動態(tài)建模和分析工具.沿著這條思路,該文致力于解決以下幾個問題:1)設(shè)計(jì)了面向?qū)ο驪etri網(wǎng)方法動態(tài)描述規(guī)則.2)將Petri并發(fā)的概念引入到面向?qū)ο笾衼?在面向?qū)ο驪etri網(wǎng)引入步的概念,以描述對象間的并發(fā)或順序關(guān)系.3)討論面向?qū)ο驪etri網(wǎng)中的繼承現(xiàn)象,并設(shè)計(jì)一套規(guī)則來避免并發(fā)與繼承不兼容的問題.4)將功能確定的并發(fā)系統(tǒng)的Petri網(wǎng)建模方法移入到Petri網(wǎng)對象建模中,在實(shí)際應(yīng)用問題和面向?qū)ο驪etri網(wǎng)模型間

3、架起了一座橋梁.構(gòu)造由對象的概念模型到Petri網(wǎng)模型的轉(zhuǎn)換算法,克服對象建模中的盲目性和復(fù)雜性,給系統(tǒng)建模提供了有效的規(guī)范.5)應(yīng)用Petri網(wǎng)的進(jìn)程分析手段,給出進(jìn)程的求取算法,并應(yīng)用到面向?qū)ο驪etri網(wǎng)中,解析系統(tǒng)的動態(tài)行為,避免死鎖,加強(qiáng)系統(tǒng)的公平性和安全性.該文提出了一種混合設(shè)計(jì)方法.首先,采用自上而下的方法,層層分解系統(tǒng)的功能,具體而言,是采用面向?qū)ο蟮姆椒ń⑾到y(tǒng)的抽象模型;然后在抽象模型基礎(chǔ)上,引入功能確定的離散并發(fā)建