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