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

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

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