PetriKit: Petri Net Analysis Toolkit 1.0

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

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

バージョン履歴

  • バージョン 1.0 に転記 2008-01-17
    いくつかの修正と更新
  • バージョン 1.0 に転記 2008-01-17

プログラムの詳細

  • カテゴリ: 教育 >
  • パブリッシャー: petrikit.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 1.0
  • プラットフォーム: windows