?? petri技術資料

?? 資源總數：20
?? 源代碼：94
Petri網是一種用于描述離散的、分布式系統的數學建模工具。它用形式化手段描述協議的技術.類似于有窮狀態自動機.其文法規則有利于計算機程序維護·它可以用來檢測協議中的錯誤，死鎖狀態。

?? petri熱門資料

查看全部20個資源 ?

petri網絡的演示程序，本程序是計算機網絡課程中涉及到的petri網絡的演示，輸入預先的轉換規則，搜索可以擊發的狀態，設定次數進行狀態轉換...

?? ?? Miyuki

?? petri源代碼

查看更多 ?
?? petri資料分類