プログラム www.woped.org

WoPeDは、Javaベースのグラフィカルワークフロープロセスエディタ、シミュレータとペトリネットを使用して、PNML形式をサポートするアナリザです。