Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadata

Cited literature [49 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01170962
Contributor : Virginie Collette <>
Submitted on : Monday, May 11, 2020 - 12:59:15 PM
Last modification on : Friday, April 30, 2021 - 10:03:42 AM

File

Vignette du document
NMFS12constraints.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | GS-COMPUTER-SCIENCE

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

700

Files downloads

75

 

Contact                    Legal Notice                    Personal Data