分析多時序Petri網(wǎng)的自動機模型.pdf

1、Petri網(wǎng)以研究系統(tǒng)模型的組織結(jié)構(gòu)和動態(tài)行為為目標，著眼于系統(tǒng)中可能發(fā)生的各種狀態(tài)變化以及變化之間的關(guān)系。Petri網(wǎng)可以用簡單的圖形元素表示系統(tǒng)變化發(fā)生的條件，以及變化發(fā)生后的系統(tǒng)狀態(tài)。
　　 隨著分析問題的深入和系統(tǒng)復(fù)雜度的提高，大量的因素引入Petri網(wǎng)系統(tǒng)中。網(wǎng)系統(tǒng)增加的因素包括條件、時間等等。其中時間因素對網(wǎng)系統(tǒng)的影響很大，在時間因素的作用下網(wǎng)系統(tǒng)的運行方式，基礎(chǔ)特性以及運行情況也發(fā)生了變化。
　　 因而，求

2、解多時序Petri網(wǎng)的各種特性變得較為困難。同時，原有求解Petri網(wǎng)系統(tǒng)的方法都是通過網(wǎng)系統(tǒng)的轉(zhuǎn)置矩陣。根據(jù)不同的特性，建立與轉(zhuǎn)制矩陣相關(guān)的表達式與矩陣方程。通過對方程和表達式的求解來得到相應(yīng)問題域的答案。但這樣的求解方式是建立在矩陣計算基礎(chǔ)之上的。我們都知道矩陣的計算需要進行大量的乘法，同時矩陣中存在大量的元素其數(shù)值為零。這樣的矩陣運算中存在很多不必要的乘零運算。特別是隨著問題規(guī)模的擴大，必然帶來矩陣維數(shù)的增加，這些乘零運算就更加降