On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Constraints Année : 2016

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

Faten Nabli
  • Fonction : Auteur
  • PersonId : 939831
Computational systems biology and optimization
Thierry Martinez
  • Fonction : Auteur
  • PersonId : 939832
Computational systems biology and optimization
François Fages
Computational systems biology and optimization
Sylvain Soliman
Computational systems biology and optimization
CV

Résumé

no abstract

Domaines

Informatique [cs] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
NMFS12constraints.pdf (439.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

virginie collette  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01170962

Soumis le : lundi 11 mai 2020-12:59:15

Dernière modification le : mercredi 15 mars 2023-08:56:17

Télécharger pour visualiser

Dates et versions

hal-01170962 , version 1 (11-05-2020)

Identifiants

Citer

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, 2016, 21 (2), pp.251--276. ⟨10.1007/s10601-015-9190-1⟩. ⟨hal-01170962⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
478 Consultations
120 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More