On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity

Faten Nabli 1 Thierry Martinez 1 François Fages 1 Sylvain Soliman 1
1 Lifeware - Computational systems biology and optimization
Inria Saclay - Ile de France
Abstract : no abstract
Type de document :
Article dans une revue
Constraints, Springer Verlag, 2016, 21 (2), pp.251--276. 〈10.1007/s10601-015-9190-1〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01170962
Contributeur : Virginie Collette <>
Soumis le : jeudi 2 juillet 2015 - 15:39:31
Dernière modification le : lundi 24 septembre 2018 - 14:00:04

Identifiants

Collections

INRIA | UNIV-PARIS-SACLAY

Citation

Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman. On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity. Constraints, Springer Verlag, 2016, 21 (2), pp.251--276. 〈10.1007/s10601-015-9190-1〉. 〈hal-01170962〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

461

Contact


archive-ouverte@inria.fr