Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri

Faten Nabli 1, * François Fages 1 Thierry Martinez 1 Sylvain Soliman 1
* Auteur correspondant
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
Abstract : Petri-nets are a simple formalism for modeling concurrent computation. Recently, they have emerged as a powerful tool for the modeling and analysis of biochemical reaction networks, bridging the gap between purely qualitative and quantitative models. These networks can be large and complex, which makes their study difficult and computationally challenging. In this paper, we focus on two structural properties of Petri-nets, siphons and traps, that bring us information about the persistence of some molecular species. We present two methods for enumerating all minimal siphons and traps of a Petri-net by iterating the resolution of a boolean model interpreted as either a SAT or a CLP(B) program. We compare the performance of these methods with a state-of-the-art dedicated algorithm of the Petri-net community. We show that the SAT and CLP(B) programs are both faster. We analyze why these programs perform so well on the models of the repository of biological models biomodels.net, and propose some hard instances for the problem of minimal siphons enumeration.
Type de document :
Communication dans un congrès
JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00810486
Contributeur : Thierry Martinez <>
Soumis le : mercredi 10 avril 2013 - 15:15:24
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : lundi 3 avril 2017 - 03:26:18

Fichiers

jfpc12_version_finale.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00810486, version 1
  • ARXIV : 1304.2948

Collections

Citation

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman. Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri. JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. 2012. 〈hal-00810486〉

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

151