Please use this identifier to cite or link to this item:
Type: Conference paper
Title: Extending PNML scope: the prioritised petri nets experience
Author: Hillah, L.
Kordon, F.
Lakos, C.
Petrucci, L.
Citation: Proceedings of the International Workshop on Petri Nets and Software Engineering: PNSE’11 / M. Duvigneau, D. Moldt and K. Hiraishi (eds.): pp. 92-106
Publisher: CEUR
Publisher Place: online
Issue Date: 2011
Series/Report no.: CEUR Workshop Proceedings
ISSN: 1613-0073
Conference Name: International Workshop on Petri Nets and Software Engineering (2011 : Newcastle upon Tyne, U.K.)
Statement of
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, and Laure Petrucci
Abstract: The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these — both are published. The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard. This paper focuses on the latter issue: how should a new net type be added, while guaranteeing the compatibility with the current standard. The extension of Petri nets with static or dynamic priorities is studied, showing design choices to ensure the desired compatibility. The result is integrated within the standard companion tool, PNML Framework. Then, the approach is generalised so as to be used at a later stage for other Petri nets extensions.
Keywords: Standardisation; PNML; Prioritised Petri Nets
Rights: Copyright status unknown
RMID: 0020116207
Description (link):
Published version:
Appears in Collections:Computer Science publications

Files in This Item:
File Description SizeFormat 
RA_hdl_70500.pdfRestricted Access693.28 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.