Petri網的面向對象動態(tài)建模及在電梯控制中的應用.pdf

1、面向對象方法具有可重用、易維護、穩(wěn)定性好等特點,它提供了抽象的封裝、多態(tài)以及繼承機制,面對龐大而復雜的系統描述提供了更有效的簡化手段,可有效的提高系統的開發(fā)效率.Petri網作為一種形式化的數學工具,能簡潔地描述系統的動態(tài)特性(如并發(fā)、同步、沖突等)和系統中的資源及約束條件,并有相應的分析方法(可達樹分析、不變量分析),而且Petri網是一種圖形工具,易于理解和描述.因此,論文設想將面向對象和Petri網結合,利用它們各自的優(yōu)點,建立一

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

3、架起了一座橋梁.構造由對象的概念模型到Petri網模型的轉換算法,克服對象建模中的盲目性和復雜性,給系統建模提供了有效的規(guī)范.5)應用Petri網的進程分析手段,給出進程的求取算法,并應用到面向對象Petri網中,解析系統的動態(tài)行為,避免死鎖,加強系統的公平性和安全性.該文提出了一種混合設計方法.首先,采用自上而下的方法,層層分解系統的功能,具體而言,是采用面向對象的方法建立系統的抽象模型;然后在抽象模型基礎上,引入功能確定的離散并發(fā)建