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.