基于增廣著色Petri網的嵌入式系統建模方法研究.pdf

1、近些年來，人們對于嵌入式系統的應用需求不斷增長，使得嵌入式系統的復雜性不斷增加，規(guī)模不斷增大，系統的不確定性越發(fā)明顯，這些原因都給開發(fā)人員帶來了新的挑戰(zhàn)。傳統的嵌入式系統設計方法已經無法滿足現階段的設計要求，利用高層建模方法對系統進行分析，然后在此基礎上進行后期設計成為了嵌入式系統研究的熱點。
　　Petri網特別適合描述系統順序、并發(fā)、沖突以及同步等現象。作為一種系統的描述工具，Petri網不僅可以刻畫系統的靜態(tài)結構，而且可以分

2、析系統的動態(tài)行為。Petri網既有直觀的圖形表示，又有深刻的數學內涵和基礎，可以利用許多數學的方法對模型驗證，所以，Petri網是形式化大型系統開發(fā)的有效工具之一。
　　本文對幾種類型的系統建模方法進行了分析和比較，結合嵌入式系統建模的特點，分析了每種方法的優(yōu)點和缺點，指出了Petri網在嵌入式系統建模中的優(yōu)勢。在一般Petri網的基礎上研究了一種適合嵌入式系統建模的擴展Petri網——增廣著色Petri網，在該方法的基礎上討論了