首頁 > 產(chǎn)品 > 經(jīng)驗 > Petri網(wǎng)，Petri網(wǎng)是甚么

Petri網(wǎng)，Petri網(wǎng)是甚么

來源：整理時間：2023-09-04 00:49:16 編輯：智能門戶手機版

本文目錄一覽

1，Petri網(wǎng)是甚么
2，Petri網(wǎng)簡介
3，什么是安全的petri網(wǎng)
4，Petri網(wǎng)是個什么東西
5，求Petri網(wǎng)的性質(zhì)急
6，Petri網(wǎng)的高級模型

1，Petri網(wǎng)是甚么

Petri網(wǎng)是對離散并行系統(tǒng)的數(shù)學表示！

Petri網(wǎng)是甚么

2，Petri網(wǎng)簡介

http://weibo.com/u/1939368722

Petri網(wǎng)簡介

3，什么是安全的petri網(wǎng)

petri 網(wǎng)中所有庫所的容量即托肯數(shù)不超過1就說明這個petri網(wǎng)是安全的

你好！petri網(wǎng)中每個庫所里面的資源數(shù)都不超過它的最大容量時，那么該Petri網(wǎng)就是安全的希望對你有所幫助，望采納。

petri網(wǎng)中每個庫所里面的資源數(shù)都不超過它的最大容量時，那么該Petri網(wǎng)就是安全的

什么是安全的petri網(wǎng)

4，Petri網(wǎng)是個什么東西

petri 網(wǎng)中所有庫所的容量即托肯數(shù)不超過1就說明這個petri網(wǎng)是安全的

電纜調(diào)制解調(diào)器（簡稱CM），Cable是指有線電視網(wǎng)絡(luò)，Modem是調(diào)制解調(diào)器。平常用Modem通過電話線上互聯(lián)網(wǎng)，而電纜調(diào)制解調(diào)器是在有線電視網(wǎng)絡(luò)上用來上互聯(lián)網(wǎng)的設(shè)備，它是串接在用戶家的有線電視電纜插座和上網(wǎng)設(shè)備之間的，而通過有線電視網(wǎng)絡(luò)與之...

5，求Petri網(wǎng)的性質(zhì)急

Petri網(wǎng)適合于描述異步并發(fā)行為的系統(tǒng)。首先,Petri網(wǎng)直接展現(xiàn)并發(fā)系統(tǒng)的物理結(jié)構(gòu)層次及資源狀態(tài)的初始分布狀況。其次,在Petri網(wǎng)引發(fā)規(guī)則的作用下將間接展現(xiàn)出該并發(fā)系統(tǒng)的動態(tài)行為機理。這兩個層面相互關(guān)聯(lián),形成了一個集物理結(jié)構(gòu)和行為機理于一體的集成模型。它提供的的系統(tǒng)信息更加的豐富, 其分析在理論上也更為深刻。Petri網(wǎng)的主要行為特性包括:狀態(tài)的可達(reachability)、位置的有界性(boundedness)、變遷的活性(liveness)、狀態(tài)的可逆達(reversibility)、標識之間的可達(reachability)、變遷之間的堅挺 (persistence)、事件之間的同步距離(synchronic distance)和公平性(fairness)等。Petri網(wǎng)模型的主要分析方法依賴于:可達標識圖、關(guān)聯(lián)矩陣和狀態(tài)方程、不變量 (invariants)和分析化簡規(guī)則。 Petri網(wǎng)以研究模型系統(tǒng)的組織結(jié)構(gòu)和動態(tài)行為為目標,著眼于系統(tǒng)中可能發(fā)生的各種狀態(tài)變化以及變化之間的關(guān)系,易于表示系統(tǒng)變化發(fā)生的條件及變化發(fā)生后的系統(tǒng)狀態(tài)。Petri網(wǎng)應(yīng)用的主要困難是模型狀態(tài)空間的復(fù)雜性問題,它將隨實際系統(tǒng)的規(guī)模增大而呈指數(shù)性增長。因此,對于一般的Petri網(wǎng),只要一涉及網(wǎng)的性質(zhì),常常得到的算法都是NP難的(又稱作狀態(tài)空間爆炸)。對于這些NP問題,目前國內(nèi)、國外的理論研究基本停留在一般子類上的研究。盡管得到了許多好的結(jié)果,但是由于子類的特殊性,使得所得結(jié)果缺乏很好的應(yīng)用性。

額

6，Petri網(wǎng)的高級模型

為了解決經(jīng)典Petri網(wǎng)中的問題，研究出了高級Petri網(wǎng)，在以下方面進行了擴展：o 令牌著色一個令牌通常代表具有各種屬性的對象，因此令牌擁有值（顏色）代表由令牌建模的對象的具體特征，如一個令牌代表一個工人（張三，28歲，經(jīng)驗3級）。o 時間為了進行分析，我們需要建模期間，延遲等，因此每一個令牌擁有一個時間戳，變遷決定生產(chǎn)出的令牌的延遲。o 層次化構(gòu)造一個復(fù)雜性與數(shù)據(jù)流圖相當?shù)腜etri網(wǎng)的機制。子網(wǎng)是由庫所，變遷和子網(wǎng)構(gòu)成的網(wǎng)絡(luò)。o 時序增加時序邏輯的定義，更好的描述行為過程。

經(jīng)典的petri網(wǎng)是簡單的過程模型，由兩種節(jié)點：庫所和變遷，有向弧，以及令牌等元素組成的。 (1) petri網(wǎng)的元素：+ 庫所（place）圓形節(jié)點+ 變遷（transition）方形節(jié)點+ 有向?。╟onnection）是庫所和變遷之間的有向弧+ 令牌（token）是庫所中的動態(tài)對象，可以從一個庫所移動到另一個庫所。 + 有向弧是有方向的+ 兩個庫所或變遷之間不允許有弧+ 庫所可以擁有任意數(shù)量的令牌o 行為如果一個變遷的每個輸入庫所（input place）都擁有令牌，該變遷即為被允許(enable)。一個變遷被允許時，變遷將發(fā)生(fire)，輸入庫所(input place)的令牌被消耗，同時為輸出庫所(output place)產(chǎn)生令牌。+ 變遷的發(fā)生是完整的，也就是說，沒有一個變遷只發(fā)生了一半的可能性。+ 有兩個或多個變遷都被允許的可能，但是一次只能發(fā)生一個變遷。這種情況下變遷發(fā)生的順序沒有定義。+ 如果出現(xiàn)一個變遷，其輸入庫所的個數(shù)與輸出庫所的個數(shù)不相等，令牌的個數(shù)將發(fā)生變化，也就是說，令牌數(shù)目不守恒。+petri網(wǎng)絡(luò)是靜態(tài)的，也就是說，不存在發(fā)生了一個變遷之后忽然冒出另一個變遷或者庫所，從而改變petri網(wǎng)結(jié)構(gòu)的可能。+ petri網(wǎng)的狀態(tài)由令牌在庫所的分布決定。也就是說，變遷發(fā)生完畢、下一個變遷等待發(fā)生的時候才有確定的狀態(tài)，正在發(fā)生變遷的時候是沒有一個確定的狀態(tài)的。兩個變遷爭奪一個令牌的情形被稱之為沖突。當發(fā)生沖突的時候，由于petri網(wǎng)的時序是不確定的，因此具體哪個變遷得以發(fā)生也是不確定的。實際應(yīng)用中，往往需要避免這種情形。用于描述現(xiàn)象的petri網(wǎng)也可能自然出現(xiàn)沖突，這表明我們對于變遷發(fā)生的條件沒有完全了解。多個弧連接兩個節(jié)點的情況。在輸入庫所和變遷之間的弧的個數(shù)決定了該變遷變?yōu)楸辉试S需要的令牌的個數(shù)?；〉膫€數(shù)決定了消耗/產(chǎn)生的令牌的個數(shù)。