Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 1998

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems

Eric Badouel
  • Fonction : Auteur
  • PersonId : 833447

Résumé

We introduce a class of high level Petri nets, called reconfigurable nets, that can dynamically modify their own structure by rewriting some of their components. Boundedness of a reconfigurable net can be decided by constructing its coverability tree. Moreover such a net can be simulated by a self-modifying Petri net. The class of reconfigurable nets thus provide a subclass of self-modifying Petri nets for which boundedness can be decided. Delayed dynamic changes within workflow systems in the sense of [7] can then be handled in an extension of van der Aalst's workflow nets [2]. For this class (the reconfigurable workflow nets), a notion of soundness has been defined that can also be verified using the coverability tree construction.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3339.pdf (339.18 Ko) Télécharger le fichier

Dates et versions

inria-00073350 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073350 , version 1

Citer

Eric Badouel, Javier Oliver. Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems. [Research Report] RR-3339, INRIA. 1998. ⟨inria-00073350⟩
294 Consultations
349 Téléchargements

Partager

More