PNML Document Checker (PNML DoC)

This application validates PNML documents against the standard specifications. You can use it as a dependency in your application, run it on the command line, or launch it as a server to which you may connect to.

Execution modes

Standalone

PNML DoC can be simply run on the command line and returns immediately. You must simply provide a list of PNML documents to check. You can provide a single document.

Server

This application can also be run in a server mode, by default on port 10002.

As a server, it provides a one-shot (synchronous) service, meaning:

  • open a connection to the server;
  • send your PNML document;
  • get the result of the service;
  • close the connection. That's it.

    The result is composed of:

    • a HTTP status code; the list of the codes used is provided on the usage page;
    • a message explaining the result of the service;
    • and some basic stats about the PNML document (how many nets, nodes, and arcs).

Standard support

Up to now, except PT nets in high-level notation, the other standard types are supported:

  • Core Model,
  • P/T nets,
  • Symmetric nets,
  • High-Level Petri nets.