PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd structural analyser tool of the CADP tool suite.
Primary LanguageJavaEclipse Public License 1.0EPL-1.0
No issues in this repository yet.