A primer on  the Petri Net Markup Language and ISO/IEC 15909-2

L. M. Hillah; Ekkart Kindler; F. Kordon; L. Petrucci; N Tréves

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

L. M. Hillah, Ekkart Kindler, F. Kordon, L. Petrucci, N Tréves

Research output: Contribution to journal › Journal article › Research

Abstract

ISO/IEC 15909 is an International Standard that is concerned with the high-level Petri nets. Part 1 defines the concepts, the mathematics, and the graphical notation -- and some variants of high-level nets. Part 2 of ISO/IEC 15909, which is currently under the last ballot to be an International Standard, defines a transfer format for high-level nets. The transfer format defined in Part 2 of ISO/IEC 15909 is (or is based on) the \emph{Petri Net Markup Language} (PNML), which was originally introduced as an interchange format for different kinds of Petri nets. In ISO/IEC 15909-2, however, it is used in a setting restricted to high-level nets and a simple version of Petri nets called Place/Transition-Systems. Future parts, of PNML will use the generality of PNML and also standardise some of its other concepts. For example, it is planned that Part 3 will define a module concepts known from modular PNML and will make the concept for defining new Petri net types explicit. In this paper, discuss PNML, its relation to ISO/IEC 15909 and the main ideas for the future extensions of PNML and its standardisation in Part 3 of ISO/IEC 15909-2.

Original language	English
Journal	Petri Net Newsletter
Issue number	76
Pages (from-to)	9-28
ISSN	0391-1804
Publication status	Published - 2009

Bibliographical note

This article was also published at the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09), Århus, Denmark, Oct. 2009, pp. 101-120

Keywords

ISO/IEC 15909, Petri Net Markup Language (PNML), High-level Nets, Transfer format

Access to Document

http://www.cs.au.dk/CPnets/events/workshop09/assets/paper06.pdf

SFX availability

Full text

Cite this

@article{4e70564218b449409260a239599e897d,

title = "A primer on the Petri Net Markup Language and ISO/IEC 15909-2",

abstract = "ISO/IEC 15909 is an International Standard that is concerned with the high-level Petri nets. Part 1 defines the concepts, the mathematics, and the graphical notation -- and some variants of high-level nets. Part 2 of ISO/IEC 15909, which is currently under the last ballot to be an International Standard, defines a transfer format for high-level nets. The transfer format defined in Part 2 of ISO/IEC 15909 is (or is based on) the \emph{Petri Net Markup Language} (PNML), which was originally introduced as an interchange format for different kinds of Petri nets. In ISO/IEC 15909-2, however, it is used in a setting restricted to high-level nets and a simple version of Petri nets called Place/Transition-Systems. Future parts, of PNML will use the generality of PNML and also standardise some of its other concepts. For example, it is planned that Part 3 will define a module concepts known from modular PNML and will make the concept for defining new Petri net types explicit. In this paper, discuss PNML, its relation to ISO/IEC 15909 and the main ideas for the future extensions of PNML and its standardisation in Part 3 of ISO/IEC 15909-2.",

keywords = "ISO/IEC 15909, Petri Net Markup Language (PNML), High-level Nets, Transfer format",

author = "Hillah, {L. M.} and Ekkart Kindler and F. Kordon and L. Petrucci and N Tr{\'e}ves",

note = "This article was also published at the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09), {\AA}rhus, Denmark, Oct. 2009, pp. 101-120",

year = "2009",

language = "English",

pages = "9--28",

journal = "Petri Net Newsletter",

issn = "0391-1804",

publisher = "Gesellschaft f{\"u}r Informatik, Germany",

number = "76",

}

TY - JOUR

T1 - A primer on the Petri Net Markup Language and ISO/IEC 15909-2

AU - Hillah, L. M.

AU - Kindler, Ekkart

AU - Kordon, F.

AU - Petrucci, L.

AU - Tréves, N

N1 - This article was also published at the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09), Århus, Denmark, Oct. 2009, pp. 101-120

PY - 2009

Y1 - 2009

N2 - ISO/IEC 15909 is an International Standard that is concerned with the high-level Petri nets. Part 1 defines the concepts, the mathematics, and the graphical notation -- and some variants of high-level nets. Part 2 of ISO/IEC 15909, which is currently under the last ballot to be an International Standard, defines a transfer format for high-level nets. The transfer format defined in Part 2 of ISO/IEC 15909 is (or is based on) the \emph{Petri Net Markup Language} (PNML), which was originally introduced as an interchange format for different kinds of Petri nets. In ISO/IEC 15909-2, however, it is used in a setting restricted to high-level nets and a simple version of Petri nets called Place/Transition-Systems. Future parts, of PNML will use the generality of PNML and also standardise some of its other concepts. For example, it is planned that Part 3 will define a module concepts known from modular PNML and will make the concept for defining new Petri net types explicit. In this paper, discuss PNML, its relation to ISO/IEC 15909 and the main ideas for the future extensions of PNML and its standardisation in Part 3 of ISO/IEC 15909-2.

AB - ISO/IEC 15909 is an International Standard that is concerned with the high-level Petri nets. Part 1 defines the concepts, the mathematics, and the graphical notation -- and some variants of high-level nets. Part 2 of ISO/IEC 15909, which is currently under the last ballot to be an International Standard, defines a transfer format for high-level nets. The transfer format defined in Part 2 of ISO/IEC 15909 is (or is based on) the \emph{Petri Net Markup Language} (PNML), which was originally introduced as an interchange format for different kinds of Petri nets. In ISO/IEC 15909-2, however, it is used in a setting restricted to high-level nets and a simple version of Petri nets called Place/Transition-Systems. Future parts, of PNML will use the generality of PNML and also standardise some of its other concepts. For example, it is planned that Part 3 will define a module concepts known from modular PNML and will make the concept for defining new Petri net types explicit. In this paper, discuss PNML, its relation to ISO/IEC 15909 and the main ideas for the future extensions of PNML and its standardisation in Part 3 of ISO/IEC 15909-2.

KW - ISO/IEC 15909, Petri Net Markup Language (PNML), High-level Nets, Transfer format

M3 - Journal article

SP - 9

EP - 28

JO - Petri Net Newsletter

JF - Petri Net Newsletter

SN - 0391-1804

IS - 76

ER -