library capable of loading petri-nets created by http://www.pneditor.org/ adding support for formal validation / simulation
- Enforce Roles & Guards in StateMachine transformations
- add storage interface for persisting state and events
- add test simulation to check for boundedness in an example file
- Extend stateMachine to derive a state machine from ptnet.PetriNet
- add better example xml files
- build library for reading & writing pflow petri-nets in xml format
- import pflow as a vector state machine - deal w/ subnets somehow
- add ability to import Conditions/Guards from roles defined in pflow
- figure out what 'static places' are for - learn other pflow details
- add Guards in ptnet.PetriNet
- ReferenceArcs in pflow file - do we need them?
- update previous prototype: FactomProject/ptnet-eventstore to use this lib
- add golang code generation