Tina Toolbox是一款運行在WINDOWS系統(tǒng)上的petri網(wǎng)仿真軟件,需要JAVA支持,如果運行不了,請先安裝JAVA虛擬機,有需要的趕快下載吧!
常見問題:
什么是petri網(wǎng)?
Petri 網(wǎng)是一種用于描述離散的、分布式系統(tǒng)的數(shù)學建模工具。它用形式化手段描述協(xié)議的技術(shù).類似于有窮狀態(tài)自動機.其文法規(guī)則有利于計算機程序維護·它可以用來檢測協(xié)議中的錯誤,死鎖狀態(tài)。