PNML Framework

Overview

Entry last updated: 2008/10/20
Entry last validated: 2008/10/20

Tool homepage: http://pnml.lip6.fr

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

PNML Framework is a prototype implementation of ISO/IEC-15909 part 2, International Standard on Petri Net Markup Language.

The primary purpose of PNML is to enable interoperability among Petri net tools. Thanks to this standard 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 will enable Petri nets tools developers to seamlessly integrate PNML support into their tools. It provides an extensive and comprehensible API to:

This work is jointly directed by F. Kordon (LIP6, Univ P. & M. Curie), L. Pettruci (LIPN/ Univ Paris XIII) and N. Trˆves (CNAM/CEDRIC) within their AFNOR activities.

Development is handled by L.M. Hillah (LIP6, Univ P. & M. Curie).

Contact Information

F. Kordon & L.M. Hillah
LIP6, Universit‰ P. & M. Curie
4 place Jussieu
5722 Paris cedex 05
Fabrce

Phone:  +33 1 44 27 88 20
Fax:    Remember country code
E-mail: Fabrice.Kordon@lip6.fr,Lom-Messan.Hillah@lip6.fr

Other Remarks

This is the second generation of PNML Framework, supporting stable definitions of new Petri nets types from the Standard, which is expected to be definitively adopted by 2009. Feedback is welcome.
[PN Home][*]
The maintainers of this page