PetriKit 是用於 Petri Net 分析的模組化工具組。它允許提取基本屬性、提取不變量和生成可伸縮性圖。結果可以以純文字、HTML 或 XML 檔案格式化。
版本歷史記錄
- 版本 1.0 發佈於 2008-01-17
若干修復和更新 - 版本 1.0 發佈於 2008-01-17
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: petrikit.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.0
- 作業系統: windows
PetriKit 是用於 Petri Net 分析的模組化工具組。它允許提取基本屬性、提取不變量和生成可伸縮性圖。結果可以以純文字、HTML 或 XML 檔案格式化。