Welcome on PNML Framework's site

PNML Framework is a prototype implementation of ISO/IEC-15909, International Standard on Petri Nets. In particular, PNML Framework supports Part 2 of the Standard, which defines the Petri Net Markup Language, the exchange format. Part 1 provides formal definitions of Petri nets, for which Part 2 defines the abstract and concrete syntaxes.

The primary purpose of PNML is to put into practice the interoperability among Petri nets tools. Thanks to this standardized transfer format, tools should be able to exchange Petri nets models, according to the Standard specifications.

PNML Framework has thus been designed to back the Standard. It enables Petri nets tools developers to integrate PNML support into their tools. It provides an extensive and comprehensible API to:

• create and save PNML models;
• load and fetch PNML models elements.

Using PNML Framework, you will stay compliant and up-to-date with the Standard. You will also favor interoperability with other tools that use PNML and this framework or their own implementation.

Discover five reasons why you should use PNML Framework.

You will find related publications here.

How does it work?

PNML Framework is intended to be used as a Java library for your application. It provides two essential features, which will allow you to:

• export your Petri net models, represented in your own tool format, into PNML;
• import PNML models into your format.

To use these features, the only requirement is to provide your parsing tool for your proprietary representation format of Petri nets (which most of the time you already have). Once you meet this requirement, you just build your new application in a few steps and integrate it to your Petri net tool.

Funding

This project has been partially supported by the ModelPlex European integrated project FP6-IP 034081.

Where to go from here?

Download PNML Framework.

Browse the documentation.

Have a look at some tools which use PNML Framework to support PNML.