Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
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 …
Cami to PNML is a model transformation tool that converts CPN-AMI's CAMI format into PNML (Petri Nets Markup Language) and vice versa.
PNML to Coq is a model transformation tool that translates Place/Transition Petri nets from Petri Nets Markup Language (PNML) format into the Coq (http://coq.inria.fr) theorem prover language.
26 contributions in the last year
March - October 2018
lhillah has no activity yet for this period.
Press h to open a hovercard with more details.