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

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

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

軟件介紹

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

常見(jiàn)問(wèn)題：

什么是petri網(wǎng)？

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

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

其他版本下載

發(fā)表評(píng)論

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

TOP
軟件下載