Validating

Jing, the RELAX NG validator by James Clark, can be used to validate a PNML file against a PNTD.

Install

For installing Jing please follow the instructions on its web page.

Invoke

For invoking Jing as a PNML validator, please start Jing with two arguments. The first argument stands for the PNTD, the second one for the PNML file.

• java <path-to-jing>/jing.jar <type>.pntd <net>.pnml 

Example

For validating sample_ptNet.pnml invoke:

• java <path-to-jing>/jing.jar http://www2.informatik.hu-berlin.de/top/pnml/pntd/ptNetb.pntd http://www2.informatik.hu-berlin.de/top/pnml/download/nets/sample_ptNet.pnml