{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

https://hal.archives-ouvertes.fr/hal-01282491
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 5:11:14 PM
Last modification on : Thursday, March 21, 2019 - 1:06:31 PM

Identifiers

  • HAL Id : hal-01282491, version 1

Citation

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⟩

Share

Metrics

Record views

96