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 文件格式化。