CPN Tools具有增量語法檢查和代碼生成功能,可在網(wǎng)絡(luò)構(gòu)建時進(jìn)行。 一個快速模擬器可以有效地處理不定時和定時的網(wǎng)絡(luò)。 可以生成和分析完整和部分狀態(tài)空間,并且標(biāo)準(zhǔn)狀態(tài)空間報告包含信息,例如有界性和活性屬性。
CPN Tools比較初由2000至2010年在奧胡斯大學(xué)的CPN Group開發(fā)。該工具背后的主要架構(gòu)師是Kurt Jensen,S?ren Christensen,Lars M. Kristensen和Michael Westergaard。 從2010年秋季開始,CPN Tools被轉(zhuǎn)移到荷蘭埃因霍溫科技大學(xué)的AIS小組。
使用說明
n you are ready to continue. The installer could not find a valid Java(tm) on this machine. Click on a component to get detailed description
Supported versions:
Vendor : Any min. 1.6 max. any
看到這個提示說明你的電腦沒有安裝JAVA運行環(huán)境,請點擊鏈接(http://www.jisuxz.com/down/31504.html)進(jìn)行下載。
官方網(wǎng)站:http://cpntools.org/
相關(guān)搜索:Petri