Tina Toolbox是一款petri網仿真軟件,它是一個運行上windows上的工具,軟件需要java支持,有需要的可以下載體驗一下。
關于Petri 網
Petri 網是一種用于描述離散的、分布式系統的數學建模工具。它用形式化手段描述協議的技術.類似于有窮狀態自動機.其文法規則有利于計算機程序維護·它可以用來檢測協議中的錯誤,死鎖狀態。
安裝說明
在本站下載并解壓Tina Toolbox軟件,這創建了一個層次扎根于tina-2.X.Y。二進制文件位于子目錄bin中。該編輯器是“nd.exe”,工具是“tina.exe”,“struct.exe”和“ktzio.exe”。
- PC官方版
- 安卓官方手機版
- IOS官方手機版