プログラム petrikit.sf.net

ペトリキットはペトリネット分析のためのモジュラーツールキットです。基本特性の抽出、不変量の抽出、到達可能性グラフの生成が可能です。結果は、プレーンテキスト、HTML、またはXMLファイルでフォーマットできます。