ペトリキットはペトリネット分析のためのモジュラーツールキットです。基本特性の抽出、不変量の抽出、到達可能性グラフの生成が可能です。結果は、プレーンテキスト、HTML、またはXMLファイルでフォーマットできます。
バージョン履歴
- バージョン 1.0 に転記 2008-01-17
いくつかの修正と更新 - バージョン 1.0 に転記 2008-01-17
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: petrikit.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.0
- プラットフォーム: windows