On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
type: Item
instance of: scholarly article
title: On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
zbMATH Open document ID: 1336.92031
author: Faten Nabli
author: Thierry Martinez
author: François Fages
author: Sylvain Soliman
published in: Constraints
publication date: 2016-04-20T00:00:00Z
Mathematics Subject Classification ID: 92C42
Mathematics Subject Classification ID: 05C90
zbMATH DE Number: 6570969
zbMATH Keywords: Petri nets
zbMATH Keywords: siphons
zbMATH Keywords: systems biology
zbMATH Keywords: sat
zbMATH Keywords: constraint logic programming
describes a project that uses: Metatool
describes a project that uses: BioModels
describes a project that uses: Petriweb
describes a project that uses: CLPGUI
describes a project that uses: Prolog
MaRDI profile type: Publication
full work available at URL: s10601-015-9190-1
OpenAlex ID: W1964579890
cites work: Q4809158
cites work: Modeling and querying biomolecular interaction networks
cites work: Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
cites work: The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
cites work: Automata for the verification of monadic second-order graph properties
cites work: Identification of all steady states in large networks by logical analysis
cites work: Q4413056
cites work: Chemical organisation theory
cites work: Computational Methods in Systems Biology
cites work: A comparison of structural CSP decomposition methods
cites work: Courcelle's theorem -- a game-theoretic approach
cites work: Priority-based target coverage in directional sensor networks using a genetic algorithm
cites work: Reducibility among Combinatorial Problems
cites work: A new constraint-based description of the steady-state flux cone of metabolic networks
cites work: Q3782791
cites work: New Algorithms for Deciding the Siphon-Trap Property
cites work: Q3911403
cites work: Graph minors. II. Algorithmic aspects of tree-width
DOI: 10.1007/S10601-015-9190-1
description: scientific article; zbMATH DE number 6570969