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.