Tina Toolbox是一款運(yùn)行在WINDOWS系統(tǒng)上的petri網(wǎng)仿真軟件,需要JAVA支持,如果運(yùn)行不了,請先安裝JAVA虛擬機(jī),有需要的趕快下載吧!

常見問題:
什么是petri網(wǎng)?
Petri 網(wǎng)是一種用于描述離散的、分布式系統(tǒng)的數(shù)學(xué)建模工具。它用形式化手段描述協(xié)議的技術(shù).類似于有窮狀態(tài)自動機(jī).其文法規(guī)則有利于計算機(jī)程序維護(hù)·它可以用來檢測協(xié)議中的錯誤,死鎖狀態(tài)。