Java library that provides support for parsing, serializing, and processesing Petri net models
- introduced GraphProperties to reason about structural properties of the net (graph reachability, cycles)
- net normalization now introduces final places
- net statistics can be rendered human readable and as CSV string
- added decomposition into non-overlapping scenarios
- added support for role annotations in OWFNs
- created basic Petri Net API function
- created basic parser for reading Petri nets in LoLA format
- created basic Petri net output in Graphviz DOT format