{Extending PNML Scope: the Prioritised Petri Nets Experience}

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.
Document type :
Conference papers
Complete list of metadatas

Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 5:11:14 PM
Last modification on : Thursday, March 21, 2019 - 1:06:31 PM


  • HAL Id : hal-01282491, version 1


Lom Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci. {Extending PNML Scope: the Prioritised Petri Nets Experience}. Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106. ⟨hal-01282491⟩



Record views