Abstract
The Petri Net Markup Language (PNML) is currently
standardised by ISO/IEC JTC1/SC7 WG 19 as Part 2 of
ISO/IEC 15909. But, there is not yet a mechanism for
structuring large Petri nets and for constructing Petri nets
from modules. To this end, modular PNML has been proposed
some time ago. But, modular PNML has some problems. These
problems along with ideas for their solution will be
discussed in this paper.
As a first step toward standardising a module concept for
PNML in Part 3 of ISO/IEC 15909, this paper proposes a
refined concept of modular PNML, which is independent of a
particular kind of Petri net, but still has a strict type
system. This paper focuses on the ideas and concepts; the
technical details still need to be worked out. To this end,
this paper also raises some issues and questions that need
to be discussed before standardising modular PNML.
| Original language | English |
|---|---|
| Title of host publication | Algorithmen und Werzeuge für Petri Netze |
| Number of pages | 74 |
| Volume | AWPN 2007 |
| Place of Publication | Koblenz, Germany |
| Publisher | University of Koblenz-Landau |
| Publication date | 2007 |
| Edition | Stephan Philippi and Alexander Pinl |
| Pages | 20-25 |
| Publication status | Published - 2007 |
| Event | 14. Workshop on Algorithmen und Werzeuge für Petri Netze - Universität Koblenz-Landau, Koblenz, Germany Duration: 20 Sept 2007 → 21 Sept 2007 Conference number: 14 |
Workshop
| Workshop | 14. Workshop on Algorithmen und Werzeuge für Petri Netze |
|---|---|
| Number | 14 |
| Location | Universität Koblenz-Landau |
| Country/Territory | Germany |
| City | Koblenz |
| Period | 20/09/2007 → 21/09/2007 |
Keywords
- Modular
- Petri Net Markup Language (PNML)