Petri網(wǎng)化簡算法及其動態(tài)特性研究.pdf

1、對于大而復(fù)雜的Petri網(wǎng),“節(jié)點過多,狀態(tài)爆炸”一直是阻礙其技術(shù)發(fā)展的主要問題,因此,如何有效地簡化Petri網(wǎng)一直是Petri網(wǎng)研究領(lǐng)域的一個熱點。將Petri網(wǎng)簡化為若干子網(wǎng)是一個很有效的方法。就目前的研究情況而言,Petri網(wǎng)化簡技術(shù)的研究主要集中下三個方面:基于Petri網(wǎng)的層次模擬和忽略細(xì)節(jié);基于Petri網(wǎng)的簡化技術(shù);基于Petri網(wǎng)的分解技術(shù)。
　　 其中,Petri網(wǎng)的分解技術(shù)是近幾年來Petri網(wǎng)化簡技術(shù)研究

2、的主流方向,也是被認(rèn)為解決網(wǎng)“狀態(tài)爆炸”問題的最有效途徑。
　　 本文主要研究Petri網(wǎng)的分解技術(shù),依據(jù)指標(biāo)函數(shù)的概念,并給出其形式化定義,依據(jù)該定義,提出了一種Petri網(wǎng)的分解定義,給出了相關(guān)算法,并將該算法與傳統(tǒng)的并分解算法相比較,體現(xiàn)其優(yōu)越性。在此基礎(chǔ)上,依據(jù)所給出的算法研究化簡技術(shù)的動態(tài)特性,針對動態(tài)庫所、活性、有界性和安全性、公平性做了深入分析,嚴(yán)格論證了依據(jù)該算法分解后的子網(wǎng)與原網(wǎng)在上述特性上的保持關(guān)系,并舉出實