站內(nèi)搜索
電腦軟件
編輯推薦
本類下載榜
總下載排行
軟件簡(jiǎn)介
CPN Tools是一款專業(yè)的建模軟件。建模工具哪款好用呢？那么就來(lái)試試小編帶來(lái)的這款CPN Tools。該款工具專用于有色Petri網(wǎng)編輯、模擬和分析，提供的分層建模工具、時(shí)間顏色集表示以及自動(dòng)分析工具使得HTCPN方法可以應(yīng)用于安全協(xié)議的自動(dòng)分析中，小編為大家?guī)?lái)的是當(dāng)前最新版，有著很好的GUI，易于使用。需要的朋友快來(lái)下載吧！
CPN Tools不僅支持基礎(chǔ)著色Petri網(wǎng)建立模型，也支持帶有時(shí)間和分層的著色petri網(wǎng)建立模型。CPN Tools支持CPN ML編程語(yǔ)言，顏色集，時(shí)間，層次化建模等。同時(shí)，CPN Tools提供豐富的模型分析工具，如監(jiān)視器，狀態(tài)空間分析等，增強(qiáng)了它的模型分析能力和模型驗(yàn)證(MC)的能力。
易語(yǔ)言v4.05修訂版 簡(jiǎn)體中文特別版_易學(xué)易用的漢語(yǔ)編程語(yǔ)言
WinHex16進(jìn)制編輯器19.3 漢化綠色版
Microsoft Visual FoxPro 6.0簡(jiǎn)體中文免安裝版【可視化編程工具】
PHP For Windows 7.3.9 官方安裝版
UltraEdit(文本編輯器)21.20.1001.0 烈火漢化增強(qiáng)版
WinHex(16進(jìn)制編輯器)19.8 SR-4 中文綠色版
Java SE Runtime Environment 9.0u177 x64 官方安裝版
易語(yǔ)言(支持基于漢語(yǔ)字和詞編程) 綠色精簡(jiǎn)版
PSPad editor V5.0.2(321)中文綠色版
EXE資源查看提取器_Resource Explorer 漢化綠色版
Source Insight 4.0 漢化綠色版_功能強(qiáng)勁的程序編輯器
網(wǎng)絡(luò)編輯超級(jí)工具箱(文章快速格式化) v1.2綠色加強(qiáng)版
匯編指令助手查詢器 (匯編指令大全)V1.1 綠色版
UltraEdit 21.20.1009.0烈火漢化綠色版
UltraEdit-32 15.00.0.1042簡(jiǎn)體中文綠色便攜版
Hex Workshop x64(bin文件編輯器)V6.7.25284 漢化版
