{Extending PNML Scope: the Prioritised Petri Nets Experience} - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

{Extending PNML Scope: the Prioritised Petri Nets Experience}

Lom Messan Hillah
Fabrice Kordon
Charles Lakos
  • Fonction : Auteur
Laure Petrucci

Résumé

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.
Fichier non déposé

Dates et versions

hal-01282491 , version 1 (03-03-2016)

Identifiants

  • HAL Id : hal-01282491 , version 1

Citer

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⟩
91 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More