Go library to use PetriNets encoded using pflow schema to construct state-machines.
Tested in Isolation - working to test within other codebases.
Petri-nets are well explored data structures that have mathematically verifiable properties.
States and transitions are computed as a Vector addition System with State This vector format makes machine learning analysis of event logs very trivial.
This library is compatible with .pflow files produced with a visual editor
Once a user is familiar with the basic semantics of a Petri-Net, new process flows can be developed rapidly.