, Give the MDD representation of the function f 2 given in Figure 2 considering the variables A and B in the reverse order (i.e. first B, then A). Then transform the obtained MDD into an IDD (labelling the edges with integer intervals

, connected in a negative circuit (each component represses its successor in the circuit, and is repressed by its predecessor): Assuming Boolean levels for A, B and C, all interaction thresholds are equal to 1, Consider the genetic regulatory network called repressilator as defined by Elowitz and Leibler [16], which consists of three genes (denoted here A, B and C)

Synthetic biology: exploring and exploiting genetic modularity through the design of novel biological networks, Mol Biosyst, vol.5, issue.7, pp.704-717, 2009. ,

The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster, J. Theor. Biol, vol.223, issue.1, pp.1-18, 2003. ,

A synthetic multicellular system for programmed pattern formation, Nature, vol.434, issue.7037, pp.1130-1134, 2005. ,

Forschungsbericht Nr. 563 des Fachbereichs Informatik der Universität Dortmund (Germany), pp.9-27, 1994. ,

Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput, vol.35, issue.8, pp.677-91, 1986. ,

Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets, ICATPN'04, vol.3099, pp.137-56, 2004. ,

Qualitative Petri net modelling of genetic networks, Trans Comp Syst Biol, issue.4220, pp.95-112, 2006. ,

URL : https://hal.archives-ouvertes.fr/hal-00310988

Tools for the symbolic analysis of bounded petri nets ,

Petri net representation of multi-valued logical regulatory networks. Natural Computing ,

Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework, POSTA'03, vol.294, pp.119-145, 2003. ,

Petri net modelling of biological regulatory networks, Journal of Discrete Algorithms, vol.6, issue.2, pp.165-77, 2008. ,

Robustness and fragility of boolean models for genetic regulatory networks, J. Theor. Biol, vol.235, issue.3, pp.431-480, 2005. ,

Modeling multi-valued genetic regulatory networks using high-level Petri nets, ICATPN'05, vol.3536, pp.208-235, 2005. ,

Modeling and simulation of genetic regulatory systems: a literature review, J. Comput Biol, vol.1, issue.9, pp.67-103, 2002. ,

URL : https://hal.archives-ouvertes.fr/inria-00072606

Designing biological systems, Genes Dev, vol.21, issue.3, pp.242-54, 2007. ,

A synthetic oscillatory network of transcriptional regulators, Nature, vol.403, issue.6767, pp.335-343, 2000. ,

Modular logical modelling of the budding yeast cell cycle, Molecular BioSystems, vol.5, pp.1787-96, 2009. ,

Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.124-155, 2006. ,

, Developmental Biology. Sunderland, 2006.

Gene interaction network simulation ,

Topology and robustness in the drosophila segment polarity network, PLoS Biol, vol.2, issue.6, p.123, 2004. ,

Multivalued Decision Diagrams: Theory and applications, International Journal on Multiple-Valued Logic, vol.4, pp.9-62, 1998. ,

Metabolic stability and epigenesis in randomly constructed genetics nets, J. Theor. Biol, vol.22, pp.437-67, 1969. ,

M-nets: a survey, Acta Informatica, vol.45, pp.537-64, 2008. ,

URL : https://hal.archives-ouvertes.fr/hal-00870484

A network model for the control of the differentiation process in Th cells, Biosystems, vol.84, issue.2, pp.101-115, 2006. ,

ProMoT: Modularmodeling for systems biology, Bioinformatics, vol.25, issue.5, pp.687-696, 2009. ,

Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, pp.134-143, 2009. ,

A reduction of logical regulatory graphs preserving essential dynamical properties, CMSB'09, vol.5688, pp.266-80, 2009. ,

Decision diagrams for the representation of logical models of regulatory networks, CMSB'07, vol.4695, pp.233-280, 2007. ,

The reference site for the Petri Net Markup Language ,

Quickly prototyping Petri nets tools with SNAKES, PNTAP'08, vol.33, pp.1-10, 2008. ,

URL : https://hal.archives-ouvertes.fr/hal-02309814

A logical model provides insights into T cell receptor signaling, PLoS Comput Biol, vol.3, issue.8, p.163, 2007. ,

Segmenting the fly embryo: a logical analysis of the segment polarity cross-regulatory module, Int. J. Dev. Biol, vol.52, issue.8, pp.1059-75, 2008. ,

A logical analysis of the Drosophila gap-gene system, J. Theor. Biol, vol.211, issue.2, pp.115-156, 2001. ,

Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module, J. Theor. Biol, vol.224, issue.4, pp.517-554, 2003. ,

Current approaches to gene regulatory network modelling, BMC Bioinformatics, vol.8, issue.6, p.9, 2007. ,

The role of composition and aggregation in modeling macromolecular regulatory networks, Proc of the Winter Simulation Conf, pp.1628-1664, 2006. ,

Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. Coli, Bioinformatics, vol.21, issue.21, pp.190-196, 2005. ,

Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach, Bioinformatics, vol.23, issue.3, pp.336-379, 2007. ,

Interval diagrams for efficient symbolic verification of process networks, IEEE Transactions On Computer-Aided Design of Integrated Circuits and Systems, vol.19, issue.8, pp.939-56, 2000. ,

Boolean formalisation of genetic control circuits, J. Theor. Biol, vol.42, pp.565-83, 1973. ,

Regulatory networks seen as asynchronous automata: A logical description, J. Theor. Biol, vol.153, pp.1-23, 1991. ,

Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bull. Math. Biol, vol.57, pp.247-76, 1995. ,

Time petri net analyzer ,

Design and constraints of the drosophila segment polarity module: robust spatial patterning emerges from intertwined cell state switches, J. Exp. Zool, vol.294, issue.3, pp.179-215, 2002. ,

Principles of development, 2006. ,