PetriKit: Petri Net Analysis Toolkit 1.0

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 4.0/5 - ‎1 ‎評分

PetriKit 是用於 Petri Net 分析的模組化工具組。它允許提取基本屬性、提取不變量和生成可伸縮性圖。結果可以以純文字、HTML 或 XML 檔案格式化。

版本歷史記錄

  • 版本 1.0 發佈於 2008-01-17
    若干修復和更新
  • 版本 1.0 發佈於 2008-01-17

軟體細節