TAPAAL

TAPAALは、モデリング、シミュレート、Timed-Arcペトリネットの検証のための教育ソフトウェアツールです。 正式なモデルのタイミングでシステムを表す必要があるユーザー向けです。 本ソフトウェアは、デンマークのAalborg大学でコンピュータサイエンス学部で開発されました。

モデリング機能は、構造化された形でタイムドアークペトリネットを記述する方法を提供します。 シミュレーションは、モデルが時間の経過とともにどのように動作するかを調べるをサポートしています。 モデルの正式な特性を評価するために検証が使用されます。 これらの機能は、正式なモデリングと分析を含む教育に関連するTAPAALを作ります。

TAPAAL は Linux にリストされているため、無料のライセンスで利用可能です。 Linux ユーザーは、ソフトウェアの有料ライセンスなしで使用できます。 プログラムは、正式なコンピュータサイエンスモデリング法で学習と作業に焦点を当てているので、カテゴリの配置は教育です。

MirrorNest は TAPAAL のミラーされたコピーをホストしません。 代わりに、公式リリースに直接リンクします。 このアレンジは、ソフトウェアのプラットフォームとライセンス情報をクリアしながら、元の配布にポイントするLinuxユーザーカタログエントリを提供します.