PNML Check is a free and open-source tool to help you easily check the conformance of your PNML Documents with the ISO/IEC 15909-2 Standard specifications. It is developed and maintained by Lom Messan Hillah, in LIP6.

PNML Check can be used freely and is released under the Eclipse Public License Version 1.0.


Please report any bugs found, feature requests or other issues on PNML Framework GitHub tracker.

When creating a new issue, try following these guidelines for contributing.

Fork, patch and contribute code

Feel free to fork PNML Check Git repository at GitHub for your own use and updates. PNML Check is structured in the 2 modules: pnmlvalidation-Releng (parent), and pnmlvalidation-Main (actual Java source code).

Contribute your fixes and new features back to the main codebase using GitHub pull requests.

Support - Feedback

Contact me if you have questions about the usage, are facing an unexpected behaviour, or want to provide any feedback to help improve this tool.


PNML Check is built on PNML Framework, and uses args4j from Kawagushi et al.