プログラム pnk.sf.net

ペトリネットカーネル(PNK)は、ペトリネットツールを構築するためのインフラストラクチャです。ペトリネットアプリケーション用のJavaクラスライブラリ、グラフィカルエディタ、およびいくつかのPNKアプリケーションが付属しています。新しいペトリネットタイプでPNKを拡張するのは簡単です。