D. Annexe, Fichiers Prolog du graphe d'interaction et du modèle de l'exemple de la Table 3

. Kx, 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

*. Lb-down, 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

M. Adélaïde and G. Sutre, Parametric analyses and abstraction of genetic regulatory networks, Proceedings 2nd Workshop on Concurrent Models in Molecular Biology, 2004.

J. Ahmad, G. Bernot, J. Comet, D. Lime, and O. Roux, 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

J. Ahmad, O. Roux, G. Bernot, J. Comet, and A. Richard, 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

K. Apt, Principles of Constraint Programming, 2003.
DOI : 10.1017/CBO9780511615320

G. Batt, R. Casey, H. De-jong, J. Geiselmann, J. Gouzé et al., Qualitative analysis of the dynamics of genetic regulatory networks using piecewise-linear models, Mathematical and Computational Methods in Biology, pp.206-239, 2006.

G. Batt, H. De-jong, and J. Geiselmann, 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

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, M. Page et al., 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

G. Bernot, J. Comet, A. Richard, and J. Guespin, 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

L. Bordeaux, Y. Hamadi, and L. Zhang, Propositional Satisfiability and Constraint Programming, ACM Computing Surveys, vol.38, issue.4, 2006.
DOI : 10.1145/1177352.1177354

L. Calzone, F. Fages, and S. Soliman, 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

A. D. Cara, A. Garg, G. De-micheli, I. Xenarios, and L. Mendoza, Dynamic simulation of regulatory networks using SQUAD, BMC Bioinformatics, vol.8, issue.1, p.462, 2007.
DOI : 10.1186/1471-2105-8-462

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, Computational Methods in System Biology, pp.149-162, 2003.
DOI : 10.1007/3-540-36481-1_13

C. Chaouiya, E. Remy, and D. Thieffry, 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

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., Nusmv version 2 : An opensource tool for symbolic model checking, Proc. of the 14th International Conference on Computer-Aided Verification, pp.359-364, 2002.

O. Cinquin and J. Demongeot, 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

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronisation skeletons using branching-time temporal logic, Logic of Programs, pp.52-71

J. Cohen, 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.

F. Corblin, 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

F. Corblin, L. Bordeaux, Y. Hamadi, E. Fanchon, and L. Trilling, A sat-based approach to decipher gene regulatory networks, Integrative Post-Genomics, RIAMS'07, 2007.

F. Corblin, E. Fanchon, and L. Trilling, 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.

F. Corblin, E. Fanchon, and L. Trilling, 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.

F. Corblin, E. Fanchon, and L. Trilling, 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.

F. Corblin, E. Fanchon, and L. Trilling, 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

H. De-jong, J. Gouzé, C. Hernandez, M. Page, T. Sari et al., 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

H. De-jong and D. Ropers, Qualitative approaches towards the analysis of genetic regulatory networks, System Modelling in Cellular Biology : From Concepts to Nuts and Bolts, pp.125-148, 2006.

H. De-jong, D. Ropers, C. Chaouiya, and D. Thieffry, Modélisation, analyse et simulation de réseaux de régulation génique, Biofutur, vol.252, pp.36-40, 2005.

V. Devloo, P. Hansen, and M. Labbé, 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

N. Eén, N. Sörensson29-]-e, F. Fanchon, L. Corblin, B. Trilling et al., 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.

E. Giunchiglia, J. Lee, V. Lifschitz, N. Mccain, and H. Turner, Nonmonotonic causal theories, Artificial Intelligence, vol.153, issue.1-2, pp.49-104, 2004.
DOI : 10.1016/j.artint.2002.12.001

A. González, C. Chaouiya, and D. Thieffry, 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

G. Gössler, Compositional Reachability Analysis of Genetic Networks, In Computational Methods in Systems Biology LNCS, vol.4210, pp.212-226, 2006.
DOI : 10.1007/11885191_15

J. Jaffar and M. J. Maher, 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

H. Öktem, R. Pearson, and K. Egiazarian, 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

D. Mateus, J. Gallois, J. Comet, and P. L. Gall, 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

L. Mendoza and I. Xenarios, 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

A. Naldi, D. Thieffry, and C. Chaouiya, 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

M. R. Prasad, A. Biere, and A. Gupta, 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

J. Queille and J. Sifakis, 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

A. Richard, J. Comet, and G. R. Bernot, 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

A. Richard, J. Comet, and G. Bernot, Formal Methods for Modeling Biological Regulatory Networks, 2006.
DOI : 10.1007/1-4020-4223-X_5
URL : https://hal.archives-ouvertes.fr/hal-00342170

D. Ropers, H. De-jong, M. Page, D. Schneider, and J. Geiselmann, 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

L. Sánchez and D. Thieffry, 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

H. Siebert and A. Bockmayr, 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

E. H. Snoussi, 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

E. H. Snoussi and R. Thomas, 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

L. J. Steggles, R. Banks, O. Shaw, and A. Wipat, 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

M. Thellier, J. Demongeot, V. Norris, J. Guespin, C. Ripoll et al., 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

D. Thieffry, M. Colet, and R. Thomas, Formalisation of regulatory networks : a logical method and its automation, Math. Modelling and Sci. Computing, vol.2, pp.144-151, 1993.

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networks ? ii. immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.57, pp.277-297, 1995.

R. Thomas and R. D. Ari, Biological Feedback, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00087681

R. Thomas and M. Kaufman, 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

R. Thomas, D. Thieffry, and M. Kaufman, 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

S. Troncale, J. Comet, and G. Bernot, 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

D. Weinstein-fischer and S. Altuvia, topoisomerase I by Fis, Molecular Microbiology, vol.39, issue.4, pp.1131-1144, 2007.
DOI : 10.1111/j.1365-2958.2006.05569.x