yanntm/HUPN-HumanUsablePetriNotation
A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
JavaGPL-3.0
No issues in this repository yet.
A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
JavaGPL-3.0
No issues in this repository yet.