Introduction
The standardisation process of ISO/IEC 15909 part 2 [kindler05],
aims at defining a universal transfer syntax for Petri nets. This transfer
syntax, namely Petri Net Markup Language (PNML), is intended to
become a universal interchange format among Petri net tools. The need
for this exchange format has long been expressed within the Petri net
community. The proposal made in [Billington03]
has now come into an achievement through this international standardisation
process.
The ISO/IEC 15909 part 1 [iso04] is already an International Standard.
It defines Petri nets through a mathematical semantic model, an abstract
mathematical syntax for annotations and a graphical notation. Its purpose
is to set reference denitions for Petri nets that would be acknowledged
unambiguously by systems designers, organizations and Petri net tools
vendors and users working on systems and applications specifications
involving the use of Petri nets.
The ISO/IEC 15909 part 2 is in Working Draft state. One of the main
challenges of this future standard is its applicability and tooling with
reference implementations that will spread its use in the academic and
industrial worlds.
As a part of the team working on the standard, we are currently experimenting
its use in CPN-AMI. Thus we propose a preliminary implementation of the
export function that produces standard PNML for Structured-Class Nets
(a color Petri net class close to the AMI-Net formalism).
Services
Just select the "Export to PNML format" item in the menu to have the current Petri net model saved
using this format. A message tells you where the result is stored in you Unix account on the
Server.
When you select the "Import from PNMl format" item in the
menu, a windows appear and let you type the asolute Unix path of the
PNML file to be imported. Then, a model window opens and the translate
model is transfered there as a Macao model.
IMPORTANT NOTE: so far, export and import has been
tested for P/T nets. Export is also available as a beta version for colored
AMI-Nets.
|
