Humboldt Universität zu Berlin | Department of Comupter Science | Chair of Theory of Programming
About | PNML | PNTD | Conventions | Tools
Validating

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.

Example

For validating sample_ptNet.pnml invoke:

Michael Weber (mweber@informatik.hu-berlin.de)
Last updated: 2003-07-10