開發者 petrikit.sf.net

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