Download PNML to Coq Converter 1.0.1

This tools is distributed as a single jar, mainly to be used on the command line. However, you may also integrate it as a library in your application for whatever purpose. It has a few set of classes, so it's easy to figure out their roles.

Single jar with all dependencies

Download it from this link.

Requirements

  • Runs on Java 1.7