PFLOW Petri-Netエディター

PFLOWは、Petri-Netモデルを操作するためのオープンソースGolangツールです。PFLOWは、モデルをHTMLフォーマットされたドキュメントに実写編集およびエクスポートしています。開発者の場合、内部ドメイン固有のランガージュ（DSL）により、NETをJSまたはLUAで宣言できます。