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

1、對大型、復雜的計算機應用軟件設計和開發(fā)，常用的方法主要有兩種：結構化工程方法和面向對象方法。結構化工程方法由于功能建模和信息建摸的思路和表示不一致，嚴重影響兩階段的過渡，給編程和軟件維護造成極大的困難。面向對象的方法克服了結構方法的缺點，整個開發(fā)過程用統(tǒng)一的面向對象建模方法，減少了工程階段間過渡的難度。但面向對象的方法缺乏相應的模型分析技術，面臨系統(tǒng)的確認和驗證問題。Petri網是一種基于形式化建模和分析方法的網絡理論，具有嚴格的數學基

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

3、析、實現技術統(tǒng)一起來的并且便于使用的建模方法。在討論Petri網與結構化建模方法相結合時，從功能分解的角度的入手，引入了約束集的概念。在經過功能劃分之后，利用各功能模塊的資源約束集，實現了Petri網子系統(tǒng)的自動集成，形成概念級的系統(tǒng)模型。然后深入研究了對每一個子功能模塊建模的方法，盡量將系統(tǒng)應有的性質在構造模型時就考慮到，以便于形成良好結構的網模型和簡化后續(xù)的驗證工作。在探討Petri網與面向對象建模方法結合時，在給出了面向對象Pet