pnapi

Java library that provides support for parsing, serializing, and processesing Petri net models

Change Log

v.1.0.5

• introduced GraphProperties to reason about structural properties of the net (graph reachability, cycles)

v.1.0.2

• net normalization now introduces final places
• net statistics can be rendered human readable and as CSV string

v.1.0.1

• added decomposition into non-overlapping scenarios
• added support for role annotations in OWFNs

v.1.0.0

• 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