Reconstructing extended Petri nets with priorities - handling priority conflicts revisited - Archive ouverte HAL
Rapport Année : 2013

Reconstructing extended Petri nets with priorities - handling priority conflicts revisited

Résumé

This work aims at reconstructing Petri net models for biological systems from experimental time-series data. The reconstructed models shall reproduce the experimentally observed dynamic behavior in a simulation. For that, we consider Petri nets with priority relations among the transitions and control-arcs, to obtain additional activation rules for transitions to control the dynamic behavior. An integrative reconstruction method, taking both priority relations and control-arcs into account, was proposed by Favre and Wagler in 2013. Here, we detail the aspect of choosing priorities and control-arcs such that dynamic conflicts can be resolved to finally arrive at the experimentally observed behavior.
Fichier principal
Vignette du fichier
RR_13-14_V2.pdf (345.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00918377 , version 1 (13-12-2013)
hal-00918377 , version 2 (16-12-2013)
hal-00918377 , version 3 (10-02-2014)

Identifiants

  • HAL Id : hal-00918377 , version 2

Citer

Marie C.F. Favre, Annegret K. Wagler. Reconstructing extended Petri nets with priorities - handling priority conflicts revisited. 2013. ⟨hal-00918377v2⟩
172 Consultations
116 Téléchargements

Partager

More