西西軟件園多重安全檢測下載網(wǎng)站、值得信賴的軟件下載站！
西西首頁 電腦軟件 安卓軟件 電腦游戲 安卓游戲 排行榜 專題合集

petri網(wǎng)仿真軟件(Tina Toolbox)

3.4.4綠色版
  • petri網(wǎng)仿真軟件(Tina Toolbox)3.4.4綠色版
  • 軟件大小:8.2M
  • 更新時間:2018-03-27 13:23
  • 軟件語言:中文
  • 軟件廠商:
  • 軟件類別:國產(chǎn)軟件 / 免費軟件 / 系統(tǒng)其它
  • 軟件等級:3級
  • 應(yīng)用平臺:WinAll, WinXP, Win7
  • 官方網(wǎng)站:http://projects.laas.fr/tina/
  • 應(yīng)用備案:
頂好評:50%
踩壞評:50%

軟件介紹

Tina Toolbox是一款適用于windows系統(tǒng)的petri網(wǎng)仿真軟件，是一款十分專業(yè)的工具，用到的時候不是很多，但是十分必要，這款工具需要java支持，如果遇到運行不了的情況，可以嘗試先安裝虛擬機，有需要的朋友歡迎使用。

常見問題：

什么是petri網(wǎng)？

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

軟件標(biāo)簽: Tina Toolbox

其他版本下載

發(fā)表評論

昵稱:
表情: 高興 可 汗 我不要 害羞 好 下下下 送花 屎 親親
查看所有(0)條評論 > 字?jǐn)?shù): 0/500

TOP
軟件下載