Download Cami to PNML Converter 2.1.13
Cami to PNML is distributed as a standalone jar, ready to be used on command line, or as a library in your application for whatever purpose. It runs on Java 1.7+. All its dependencies are included in the jar.
Download Cami to PNML Converter 2.1.13.
Models
We provide three P/T nets models in Cami and PNML, so that you may start using this application right away:
- Dining philosophers (Cami)
- Swimming pool (PNML)
- Token ring (PNML)
There are actually many more P/T nets models available on the Model Checking Contest web site.
Requirements
- Runs on Java 1.8+
- All other dependencies are included in the Cami to PNML standalone jar, including the libraries of PNML Framework.
Previous stable versions
- Download version 2.1.11. (Runs on Java 1.7+)
- Download version 2.1.8. (Runs on Java 1.7+)
Feedback
Please report any feedback using the mailing-list.