プログラム pn2a.sf.net

ペトリネットを有限状態オートマトンおよび変換セミグループに変換するための小さなGAPパッケージ。