
【計】 Petri net
hull; husk; leather; naughty; peel; skin; surface; tegument
【醫】 commune integumentum; Cort.; cortex; cortices; cutis; derm; derma-
dermat-; dermato-; dermo; integument; integumentum; skin
especially; special; spy; unusual; very
【化】 tex
inner; liner; lining; neighbourhood
【法】 knot; sea mile
meshwork; net; netting; network; toil; web
【計】 ALOHA network ALOHA
【化】 net
【醫】 mesh; net; network; rete; retia; reticulum; retinervus
皮特裡網(Petri Net)是計算機科學與系統工程領域的重要數學模型,用于描述離散并行系統的動态行為。其英文對應術語為"Petri Net",由德國數學家卡爾·亞當·佩特裡(Carl Adam Petri)于1962年博士論文中首次提出。該模型通過圖形化的方式表達系統狀态變遷,包含以下核心要素:
基本構成
系統由庫所(Place)、變遷(Transition)、有向弧(Arc)和托肯(Token)組成,采用四元組數學表達:
$$ PN = (P, T, F, M)
$$
其中P代表庫所集合,T為變遷集合,F為流關系,M為初始标識。
應用領域
在工業自動化控制、通信協議驗證和生物信息學領域有廣泛應用。美國國家标準技術研究院(NIST)将其列為離散事件系統标準建模工具。
擴展變體
包含時間Petri網、着色Petri網和隨機Petri網等衍生模型,國際期刊《Fundamenta Informaticae》收錄了其形式化語言擴展研究。
權威定義參考
《IEEE系統建模标準手冊》将其定義為"由節點和邊構成的雙向有向圖,用于模拟并發事件和資源分配"(IEEE标準文檔編號:ISO/IEC 15909-1:2020)。
“皮特裡網”是計算機科學中的專業術語,其英文為Petri net()。這一概念主要用于描述和分析分布式系統、并發過程以及異步事件間的動态行為,尤其在形式化建模領域有重要應用。
基本結構
皮特裡網由庫所(Place)、變遷(Transition) 和連接兩者的有向弧(Arc) 組成。庫所表示系統狀态(如資源或條件),變遷表示狀态間的轉換,弧則定義了變遷觸發的規則。
運行機制
通過托肯(Token) 在庫所中的分布和流動來模拟系統行為。當變遷的輸入庫所滿足托肯數量要求時,變遷被激活,托肯會從輸入庫所轉移到輸出庫所。
應用領域
主要用于并發系統建模(如并行計算、通信協議)、工作流管理、硬件設計驗證等。其圖形化表示方式便于分析系統死鎖、資源競争等問題。
由于現有搜索結果信息有限,建議進一步查閱計算機科學教材或權威數據庫(如IEEE、Springer)獲取更詳細的數學模型和應用案例。
胞漿的波平産權登記存在分析帶間隙接頭盜印電阻轉換短頭的對外貿易政策國内投資總額含硫鋅糊紅疹交付檢修基底神經節性麻痹借入資金菌黴素可複發的控制公司連根拔除奇蹄目生态災禍生長曲線十的補碼十七手制的雙邊的塑性流體未清償還餘額微壓計