Pflow is an open source Golang tool for working with Petri-Net models. Pflow supports live-editing and exporting models to HTML formatted docs. For Developers, an internal Domain Specific Langauges (DSL) allows for nets to be declared in JS or Lua.