- 綠色版查看
- 綠色版查看
- 綠色版查看
- 綠色版查看
- 綠色版查看
常見問題
什么是petri網?
Petri 網是一種用于描述離散的、分布式系統的數學建模工具。它用形式化手段描述協議的技術.類似于有窮狀態自動機.其文法規則有利于計算機程序維護·它可以用來檢測協議中的錯誤,死鎖狀態。
收起>>
收起>>
軟件介紹 相關專題 常見問題 下載地址
常見問題
什么是petri網?
Petri 網是一種用于描述離散的、分布式系統的數學建模工具。它用形式化手段描述協議的技術.類似于有窮狀態自動機.其文法規則有利于計算機程序維護·它可以用來檢測協議中的錯誤,死鎖狀態。
Tina Toolbox(petri網仿真軟件) 官方版
您的評論需要經過審核才能顯示
有用
有用
有用