基于工作流的Petri網(wǎng)替換特性研究.pdf

1、Petri網(wǎng)作為分布式系統(tǒng)的建模和分析工具，廣泛應(yīng)用于通信、交通等領(lǐng)域，用以研究系統(tǒng)的控制器設(shè)計(jì)、死鎖防止和活性保持及公平性保持問(wèn)題等。隨著系統(tǒng)復(fù)雜度的增加，Petri網(wǎng)模型的復(fù)雜度也隨之提高，由此造成狀態(tài)空間爆炸問(wèn)題，即使很小的增長(zhǎng)，也會(huì)帶來(lái)狀態(tài)空間的暴增，為Petri網(wǎng)的分析帶來(lái)困難。為解決此問(wèn)題，學(xué)術(shù)界通常采用精細(xì)化建模的思想，使用自頂向下，分層模擬，逐步求精的思路，簡(jiǎn)化建模的過(guò)程，同時(shí)得到復(fù)雜模型的性質(zhì)，因此得到了廣泛的研究。本

2、文以精細(xì)化建模思想為基礎(chǔ)，研究了Petri網(wǎng)在替換過(guò)程中的性質(zhì)保持性問(wèn)題，主要研究?jī)?nèi)容有以下幾個(gè)方面：
　　 本文首先對(duì)工作流網(wǎng)的穩(wěn)固性及任意穩(wěn)固特性進(jìn)行了研究，定義了基于工作流網(wǎng)的Petri網(wǎng)庫(kù)所替換及網(wǎng)系統(tǒng)替換，給出了標(biāo)志分配的公式。然后用穩(wěn)固工作流網(wǎng)替換Petri網(wǎng)系統(tǒng)中的安全庫(kù)所，并證明得到替換后的Petri網(wǎng)系統(tǒng)能保持原來(lái)網(wǎng)系統(tǒng)的活性、有界性和可回復(fù)性等動(dòng)態(tài)特性；接下來(lái)針對(duì)Petri網(wǎng)系統(tǒng)中的任意一個(gè)庫(kù)所，研究了任意穩(wěn)

3、固工作流網(wǎng)的替換，并且得到替換后的網(wǎng)系統(tǒng)也能保持上述動(dòng)態(tài)特性；
　　 然后在定義了變遷型工作流網(wǎng)的基礎(chǔ)上，定義了基于T型工作流網(wǎng)的Petri網(wǎng)和網(wǎng)系統(tǒng)的變遷替換。接下來(lái)研究了變遷替換后得到的Petri網(wǎng)系統(tǒng)所保持的動(dòng)態(tài)特性。通過(guò)證明，替換后的網(wǎng)系統(tǒng)能保持原來(lái)網(wǎng)系統(tǒng)的活性、有界性和可回復(fù)性等動(dòng)態(tài)特性；
　　 最后，將替換的應(yīng)用范圍拓展到連接弧，并且使用連接弧型工作流網(wǎng)，為此定義了TP和PT型工作流網(wǎng)，用以替換其對(duì)應(yīng)的連接弧