FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102643016> ?p ?o ?g. }

• W2102643016 abstract "We present a way to compute the minimal semi-positive invariants of a Petri net representing a biological reaction system, as resolution of a Constraint Satisfaction Problem. The use of Petri nets to manipulate Systems Biology models and make available a variety of tools is quite old, and recently analyses based on invariant computation for biological models have become more and more frequent, for instance in the context of module decomposition. In our case, this analysis brings both qualitative and quantitative information on the models, in the form of conservation laws, consistency checking, etc. thanks to finite domain constraint programming. It is noticeable that some of the most recent optimizations of standard invariant computation techniques in Petri nets correspond to well-known techniques in constraint solving, like symmetry-breaking. Moreover, we show that the simple and natural encoding proposed is not only efficient but also flexible enough to encompass sub/sur-invariants, siphons/traps, etc., i.e., other Petri net structural properties that lead to supplementary insight on the dynamics of the biochemical system under study. A simple implementation based on GNU-Prolog's finite domain solver, and including symmetry detection and breaking, was incorporated into the BIOCHAM modelling environment and in the independent tool Nicotine. Some illustrative examples and benchmarks are provided." @default.
• W2102643016 created "2016-06-24" @default.
• W2102643016 creator A5003525513 @default.
• W2102643016 date "2012-05-29" @default.
• W2102643016 modified "2023-10-14" @default.
• W2102643016 title "Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem" @default.
• W2102643016 cites W1493186690 @default.
• W2102643016 cites W1640325902 @default.
• W2102643016 cites W1758395617 @default.
• W2102643016 cites W1964012101 @default.
• W2102643016 cites W1966260349 @default.
• W2102643016 cites W1987298286 @default.
• W2102643016 cites W2001661334 @default.
• W2102643016 cites W2052623808 @default.
• W2102643016 cites W2075161553 @default.
• W2102643016 cites W2086611499 @default.
• W2102643016 cites W2092462789 @default.
• W2102643016 cites W2096248361 @default.
• W2102643016 cites W2102653059 @default.
• W2102643016 cites W2107306984 @default.
• W2102643016 cites W2110355460 @default.
• W2102643016 cites W2112651905 @default.
• W2102643016 cites W2119510512 @default.
• W2102643016 cites W2127844534 @default.
• W2102643016 cites W2133552211 @default.
• W2102643016 cites W2135432705 @default.
• W2102643016 cites W2150908245 @default.
• W2102643016 cites W2158069895 @default.
• W2102643016 cites W2172102555 @default.
• W2102643016 cites W4294216483 @default.
• W2102643016 doi "https://doi.org/10.1186/1748-7188-7-15" @default.
• W2102643016 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/3386890" @default.
• W2102643016 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/22642806" @default.
• W2102643016 hasPublicationYear "2012" @default.
• W2102643016 type Work @default.
• W2102643016 sameAs 2102643016 @default.
• W2102643016 citedByCount "24" @default.
• W2102643016 countsByYear W21026430162012 @default.
• W2102643016 countsByYear W21026430162013 @default.
• W2102643016 countsByYear W21026430162014 @default.
• W2102643016 countsByYear W21026430162015 @default.
• W2102643016 countsByYear W21026430162016 @default.
• W2102643016 countsByYear W21026430162018 @default.
• W2102643016 countsByYear W21026430162020 @default.
• W2102643016 countsByYear W21026430162021 @default.
• W2102643016 crossrefType "journal-article" @default.
• W2102643016 hasAuthorship W2102643016A5003525513 @default.
• W2102643016 hasBestOaLocation W21026430161 @default.
• W2102643016 hasConcept C11413529 @default.
• W2102643016 hasConcept C126255220 @default.
• W2102643016 hasConcept C134306372 @default.
• W2102643016 hasConcept C137105694 @default.
• W2102643016 hasConcept C137631369 @default.
• W2102643016 hasConcept C151730666 @default.
• W2102643016 hasConcept C154945302 @default.
• W2102643016 hasConcept C173404611 @default.
• W2102643016 hasConcept C190470478 @default.
• W2102643016 hasConcept C199622910 @default.
• W2102643016 hasConcept C2524010 @default.
• W2102643016 hasConcept C2776036281 @default.
• W2102643016 hasConcept C2779343474 @default.
• W2102643016 hasConcept C33923547 @default.
• W2102643016 hasConcept C36503486 @default.
• W2102643016 hasConcept C37914503 @default.
• W2102643016 hasConcept C38677869 @default.
• W2102643016 hasConcept C41008148 @default.
• W2102643016 hasConcept C44616089 @default.
• W2102643016 hasConcept C45374587 @default.
• W2102643016 hasConcept C49937458 @default.
• W2102643016 hasConcept C80444323 @default.
• W2102643016 hasConcept C86803240 @default.
• W2102643016 hasConceptScore W2102643016C11413529 @default.
• W2102643016 hasConceptScore W2102643016C126255220 @default.
• W2102643016 hasConceptScore W2102643016C134306372 @default.
• W2102643016 hasConceptScore W2102643016C137105694 @default.
• W2102643016 hasConceptScore W2102643016C137631369 @default.
• W2102643016 hasConceptScore W2102643016C151730666 @default.
• W2102643016 hasConceptScore W2102643016C154945302 @default.
• W2102643016 hasConceptScore W2102643016C173404611 @default.
• W2102643016 hasConceptScore W2102643016C190470478 @default.
• W2102643016 hasConceptScore W2102643016C199622910 @default.
• W2102643016 hasConceptScore W2102643016C2524010 @default.
• W2102643016 hasConceptScore W2102643016C2776036281 @default.
• W2102643016 hasConceptScore W2102643016C2779343474 @default.
• W2102643016 hasConceptScore W2102643016C33923547 @default.
• W2102643016 hasConceptScore W2102643016C36503486 @default.
• W2102643016 hasConceptScore W2102643016C37914503 @default.
• W2102643016 hasConceptScore W2102643016C38677869 @default.
• W2102643016 hasConceptScore W2102643016C41008148 @default.
• W2102643016 hasConceptScore W2102643016C44616089 @default.
• W2102643016 hasConceptScore W2102643016C45374587 @default.
• W2102643016 hasConceptScore W2102643016C49937458 @default.
• W2102643016 hasConceptScore W2102643016C80444323 @default.
• W2102643016 hasConceptScore W2102643016C86803240 @default.
• W2102643016 hasIssue "1" @default.
• W2102643016 hasLocation W21026430161 @default.
• W2102643016 hasLocation W21026430162 @default.
• W2102643016 hasLocation W21026430163 @default.
• W2102643016 hasLocation W21026430164 @default.
• W2102643016 hasLocation W21026430165 @default.

• next