Fichiers Prolog du graphe d'interaction et du modèle de l'exemple de la Table 3 ,
1, Ky 1 in 0 Ky 2 in 0 Ky 3 in 0 . . 2, Ky 4 in 0 . . 2, biomodel tool :constraints P K Nb thr(P, Nb thr, Cnf9), biomodel tool :constraints P Input Nb thr(P, Nb thr, Cnf10), F.2. Fichier Prolog du module f ocal state cnf :trans EqualXYB(IE1, IE2, IB1, Cnf2), no change Cnf3), append([Cnf1 ,
Cnf) :? catch list var bool(LB down, LVB down), catch list var bool(LB up, LVB up), append([[VBst],LVB down clpfd :sum(LVB, #=, 1), % exactly one element of LVB is true catch list idf bool(LB down, LIB down), catch list idf bool(LB up, cnf :convert list idf to cnf(LIB, LIBcnf), cnf :exactly one ,
Parametric analyses and abstraction of genetic regulatory networks, Proceedings 2nd Workshop on Concurrent Models in Molecular Biology, 2004. ,
Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays, Complexus, vol.3, issue.4, 2006. ,
DOI : 10.1159/000110010
URL : https://hal.archives-ouvertes.fr/hal-00415810
Analysing formal models of genetic regulatory networks with delays, International Journal of Bioinformatics Research and Applications, vol.4, issue.3, pp.240-262, 2008. ,
DOI : 10.1504/IJBRA.2008.019573
URL : https://hal.archives-ouvertes.fr/hal-00415808
Principles of Constraint Programming, 2003. ,
DOI : 10.1017/CBO9780511615320
Qualitative analysis of the dynamics of genetic regulatory networks using piecewise-linear models, Mathematical and Computational Methods in Biology, pp.206-239, 2006. ,
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions, Automatica, vol.44, issue.4, pp.982-989, 2008. ,
DOI : 10.1016/j.automatica.2007.08.004
URL : https://hal.archives-ouvertes.fr/hal-00319485
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli, Proceedings Eighth International Workshop on Hybrid Systems : Computation and Control (HSCC 2005), pp.134-150, 2005. ,
DOI : 10.1007/978-3-540-31954-2_9
Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004. ,
DOI : 10.1016/j.jtbi.2004.04.003
Propositional Satisfiability and Constraint Programming, ACM Computing Surveys, vol.38, issue.4, 2006. ,
DOI : 10.1145/1177352.1177354
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
Dynamic simulation of regulatory networks using SQUAD, BMC Bioinformatics, vol.8, issue.1, p.462, 2007. ,
DOI : 10.1186/1471-2105-8-462
Symbolic Model Checking of Biochemical Networks, Computational Methods in System Biology, pp.149-162, 2003. ,
DOI : 10.1007/3-540-36481-1_13
Qualitative Petri Net Modelling of Genetic Networks, Lecture Notes in Computer Sciences, vol.4220, pp.95-112, 2006. ,
DOI : 10.1007/11880646_5
URL : https://hal.archives-ouvertes.fr/hal-00310988
Nusmv version 2 : An opensource tool for symbolic model checking, Proc. of the 14th International Conference on Computer-Aided Verification, pp.359-364, 2002. ,
Positive and Negative Feedback: Striking a Balance Between Necessary Antagonists, Journal of Theoretical Biology, vol.216, issue.2, pp.229-241, 2002. ,
DOI : 10.1006/jtbi.2002.2544
Design and synthesis of synchronisation skeletons using branching-time temporal logic, Logic of Programs, pp.52-71 ,
Classification of approaches used to study cell regulation : Search for a unified view using constraints and machine learning, Electronic Transactions in Artificial Intelligence Machine Intelligence Linköping Electronic Articles in Computer and Information Science ISSN, vol.18, issue.625, 2001. ,
Inférence et simulation de réseaux biologiques logiques à l'aide de la programmation logique avec contraintes (PLC) Rapport de magistère d'informatique 3 ` eme année, 2005. ,
DOI : 10.3166/tsi.26.73-98
A sat-based approach to decipher gene regulatory networks, Integrative Post-Genomics, RIAMS'07, 2007. ,
Constraint logic programming for modeling a biological system described by a logical network, CP05 (International Conference on Principles and Practice of Constraint Programming), Workshop WCB05 (Workshop on Constraint Based Methods for Bioinformatics), 2005. ,
Inférer et simuler un modèle biologique intervenant dans l'adhérence entre cellules, JFPC 05 (Journées Francophones de Programmation par Contraintes), 2005. ,
Modélisation d'un réseau contrôlant l'adhésion cellulaire sous la forme d'un réseau multivalué asynchrone : mise en oeuvre en plc, JOBIM 2005 (Journées Ouvertes Biologie Informatique Mathématiques), 2005. ,
Mod??lisation de r??seaux biologiques discrets en programmation logique par contraintes, Techniques et sciences informatiques, vol.26, issue.1-2, pp.73-98, 2007. ,
DOI : 10.3166/tsi.26.73-98
Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004. ,
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849
Qualitative approaches towards the analysis of genetic regulatory networks, System Modelling in Cellular Biology : From Concepts to Nuts and Bolts, pp.125-148, 2006. ,
Modélisation, analyse et simulation de réseaux de régulation génique, Biofutur, vol.252, pp.36-40, 2005. ,
Identification of all steady states in large networks by logical analysis, Bulletin of Mathematical Biology, vol.65, issue.6, pp.1025-1051, 2003. ,
DOI : 10.1016/S0092-8240(03)00061-2
URL : https://hal.archives-ouvertes.fr/hal-01255591
An extensible SAT-solver Modeling the molecular network controlling adhesion between human endothelial cells : Inference and simulation using constraint logic programming, SAT Computational Methods in Systems Biology, pp.502-518, 2003. ,
Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.49-104, 2004. ,
DOI : 10.1016/j.artint.2002.12.001
Dynamical Analysis of the Regulatory Network Defining the Dorsal-Ventral Boundary of the Drosophila Wing Imaginal Disc, Genetics, vol.174, issue.3, pp.1625-1659, 2006. ,
DOI : 10.1534/genetics.106.061218
Compositional Reachability Analysis of Genetic Networks, In Computational Methods in Systems Biology LNCS, vol.4210, pp.212-226, 2006. ,
DOI : 10.1007/11885191_15
Constraint logic programming: a survey, The Journal of Logic Programming, vol.19, issue.20, pp.503-581, 1994. ,
DOI : 10.1016/0743-1066(94)90033-7
An adjustable aperiodic model class of genomic interactions using continuous time Boolean networks (Boolean delay equations), Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.13, issue.4, pp.1167-1174, 2003. ,
DOI : 10.1063/1.1608671
SYMBOLIC MODELING OF GENETIC REGULATORY NETWORKS, Journal of Bioinformatics and Computational Biology, vol.05, issue.02b, pp.627-640, 2007. ,
DOI : 10.1142/S0219720007002850
URL : https://hal.archives-ouvertes.fr/hal-00293530
A method for the generation of standardized qualitative dynamical systems of regulatory networks, Theoretical Biology and Medical Modelling, vol.3, issue.1, p.13, 2006. ,
DOI : 10.1186/1742-4682-3-13
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks, pp.233-247, 2007. ,
DOI : 10.1007/978-3-540-75140-3_16
A survey of recent advances in SAT-based formal verification, International Journal on Software Tools for Technology Transfer, vol.35, issue.2, pp.156-173, 2005. ,
DOI : 10.1007/s10009-004-0183-4
Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982. ,
DOI : 10.1007/3-540-11494-7_22
Thomas' modeling of biological regulatory networks : introduction of singular states in the qualitative dynamics, Fundamenta Informaticae, vol.65, issue.4, pp.373-392, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00342171
Formal Methods for Modeling Biological Regulatory Networks, 2006. ,
DOI : 10.1007/1-4020-4223-X_5
URL : https://hal.archives-ouvertes.fr/hal-00342170
Qualitative simulation of the carbon starvation response in Escherichia coli, Biosystems, vol.84, issue.2, pp.124-152, 2006. ,
DOI : 10.1016/j.biosystems.2005.10.005
URL : https://hal.archives-ouvertes.fr/hal-00171698
A Logical Analysis of the Drosophila Gap-gene System, Journal of Theoretical Biology, vol.211, issue.2, pp.115-141, 2001. ,
DOI : 10.1006/jtbi.2001.2335
Temporal constraints in the logical analysis of regulatory networks, Theoretical Computer Science, vol.391, issue.3, pp.258-275, 2008. ,
DOI : 10.1016/j.tcs.2007.11.010
Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dynamics and Stability of Systems, vol.54, issue.3-4, pp.189-207, 1989. ,
DOI : 10.1016/S0006-3495(71)86192-1
Logical identification of all steady states: The concept of feedback loop characteristic states, Bulletin of Mathematical Biology, vol.55, issue.5, pp.973-991, 1993. ,
DOI : 10.1016/S0092-8240(05)80199-5
Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach, Bioinformatics, vol.23, issue.3, pp.336-343, 2007. ,
DOI : 10.1093/bioinformatics/btl596
A Logical (Discrete) Formulation for the Storage and Recall of Environmental Signals in Plants, Plant Biology, vol.29, issue.5, pp.590-597, 2004. ,
DOI : 10.1007/BF00239951
Formalisation of regulatory networks : a logical method and its automation, Math. Modelling and Sci. Computing, vol.2, pp.144-151, 1993. ,
Dynamical behaviour of biological regulatory networks ? ii. immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.57, pp.277-297, 1995. ,
Biological Feedback, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-00087681
Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, pp.180-195, 2001. ,
DOI : 10.1063/1.1349893
Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-276, 1995. ,
DOI : 10.1007/BF02460618
Verification of biological models with Timed Hybrid Petri Nets, AIP Conference Proceedings, pp.287-296, 2007. ,
DOI : 10.1063/1.2816633
URL : https://hal.archives-ouvertes.fr/hal-00342179
topoisomerase I by Fis, Molecular Microbiology, vol.39, issue.4, pp.1131-1144, 2007. ,
DOI : 10.1111/j.1365-2958.2006.05569.x