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

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

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