开发者 petrikit.sf.net

PetriKit 是用于 Petri Net 分析的模块化工具包。它允许提取基本属性、提取不变量和生成可伸缩性图。结果可以以纯文本、HTML 或 XML 文件格式化。