×

Identification of biological regulatory networks from process hitting models. (English) Zbl 1314.92062

Summary: Qualitative formalisms offer a well-established alternative to the more traditionally used differential equation models of biological regulatory networks (BRNs). These formalisms led to numerous theoretical works and practical tools to understand emerging behaviors. The analysis of the dynamics of very large models is however a rather hard problem, which led us to previously introduce the process hitting framework (PH), which is a particular class of nondeterministic asynchronous automata network (or safe Petri nets). Its major advantage lies in the efficiency of several static analyses recently designed to assess dynamical properties, making it possible to tackle very large models.In this paper, we address the formal identification of qualitative models of BRNs from PH models. First, the inference of the interaction graph from a PH model summarizes the signed influences between the components that are effective for the dynamics. Second, we provide the inference of all René Thomas models of BRNs that are compatible with a given PH. As the PH allows the specification of nondeterministic interactions between components, our inference emphasizes the ability of PH to deal with large BRNs with incomplete knowledge on interactions, where Thomas’ approach fails because of the combinatorics of parameters.The inference of corresponding Thomas models is implemented using answer set programming, which allows in particular an efficient enumeration of (possibly numerous) compatible parameterizations.

MSC:

92C42 Systems biology, networks
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Kauffman, S. A., Metabolic stability and epigenesis in randomly constructed genetic nets, J. Theoret. Biol., 22, 3, 437-467 (1969)
[2] Thomas, R., Boolean formalization of genetic control circuits, J. Theoret. Biol., 42, 3, 563-585 (1973)
[3] Richard, A.; Comet, J.-P., Necessary conditions for multistationarity in discrete dynamical systems, Discrete Appl. Math., 155, 18, 2403-2413 (2007) · Zbl 1125.37062
[4] Remy, É.; Ruet, P.; Thieffry, D., Graphic requirements for multistability and attractive cycles in a boolean dynamical framework, Adv. in Appl. Math., 41, 3, 335-350 (2008) · Zbl 1169.05333
[5] Naldi, A.; Remy, E.; Thieffry, D.; Chaouiya, C., A reduction of logical regulatory graphs preserving essential dynamical properties, (Computational Methods in Systems Biology. Computational Methods in Systems Biology, LNCS, vol. 5688 (2009), Springer), 266-280
[6] Richard, A.; Comet, J.-P.; Bernot, G., Formal methods for modeling biological regulatory networks, (Modern Formal Methods and Applications (2006)), 83-122
[7] Naldi, A.; Thieffry, D.; Chaouiya, C., Decision diagrams for the representation and analysis of logical models of genetic networks, (Computational Methods in Systems Biology (2007), Springer), 233-247
[8] Siebert, H.; Bockmayr, A., Incorporating time delays into the logical analysis of gene regulatory networks, (Computational Methods in Systems Biology. Computational Methods in Systems Biology, LNCS, vol. 4210 (2006), Springer), 169-183
[9] Ahmad, J.; Roux, O.; Bernot, G.; Comet, J.-P.; Richard, A., Analysing formal models of genetic regulatory networks with delays, Internat. J. Bioinform. Res. Appl., 4, 3, 240-262 (2008)
[10] Twardziok, S.; Siebert, H.; Heyl, A., Stochasticity in reactions: a probabilistic boolean modeling approach, (Computational Methods in Systems Biology (2010), ACM), 76-85
[11] Corblin, F.; Tripodi, S.; Fanchon, E.; Ropers, D.; Trilling, L., A declarative constraint-based method for analyzing discrete genetic regulatory networks, Biosystems, 98, 2, 91-104 (2009)
[12] Bollman, D.; Colon-Reyes, O.; Orozco, E., Fixed points in discrete models for regulatory genetic networks, EURASIP J. Bioinform. Syst. Biol., 1, 97356 (2007)
[13] Delaplace, F.; Klaudel, H.; Melliti, T.; Sen, S., Analysis of modular organisation of interaction networks based on asymptotic dynamics, (Gilbert, D.; Heiner, M., Computational Methods in Systems Biology. Computational Methods in Systems Biology, Lecture Notes in Computer Science (2012), Springer: Springer Berlin/Heidelberg), 148-165
[14] Ay, F.; Xu, F.; Kahveci, T., Scalable steady state analysis of boolean biological regulatory networks, PLoS ONE, 4, 12, e7992 (2009)
[15] Paulevé, L.; Magnin, M.; Roux, O., Refining dynamics of gene regulatory networks in a stochastic \(π\)-calculus framework, (Transactions on Computational Systems Biology XIII (2011), Springer), 171-191 · Zbl 1326.92027
[16] Paulevé, L.; Magnin, M.; Roux, O., Static analysis of biological regulatory networks dynamics using abstract interpretation, Math. Structures Comput. Sci., 22, 04, 651-685 (2012) · Zbl 1253.92029
[17] Paulevé, L.; Andrieux, G.; Koeppl, H., Under-approximating Cut Sets for Reachability in Large Scale Automata Networks, (Sharygina, Natasha; Veith, Helmut, Computer Aided Verification. Computer Aided Verification, Lecture Notes in Computer Science, vol. 8044 (2013), Springer: Springer Berlin, Heidelberg), 69-84
[18] Folschette, M.; Paulevé, L.; Magnin, M.; Roux, O., Under-approximation of reachability in multivalued asynchronous networks, (Merelli, Emanuela; Troina, Angelo, 4th International Workshop on Interactions Between Computer Science and Biology (CS2Bio’13). 4th International Workshop on Interactions Between Computer Science and Biology (CS2Bio’13), Electronic Notes in Theoretical Computer Science, vol. 299 (2013)), 33-51 · Zbl 1337.68181
[19] Paulevé, L.; Richard, A., Static analysis of boolean networks based on interaction graphs: a survey, Electron. Notes Theoret. Comput. Sci., 284, 93-104 (2011), Proceedings of The Second International Workshop on Static Analysis and Systems Biology (SASB 2011) · Zbl 1283.92044
[20] Richard, A., Negative circuits and sustained oscillations in asynchronous automata networks, Adv. in Appl. Math., 44, 4, 378-392 (2010) · Zbl 1201.37117
[21] Baral, C., Knowledge Representation, Reasoning and Declarative Problem Solving (2003), Cambridge University Press · Zbl 1056.68139
[22] Khalis, Z.; Comet, J.-P.; Richard, A.; Bernot, G., The SMBioNet method for discovering models of gene regulatory networks, Genes Genomes Genomics, 3, 1, 15-22 (2009)
[23] Corblin, F.; Fanchon, E.; Trilling, L., Applications of a formal approach to decipher discrete genetic networks, BMC Bioinform., 11, 1, 385 (2010)
[24] Corblin, F.; Fanchon, E.; Trilling, L.; Chaouiya, C.; Thieffry, D., Automatic inference of regulatory and dynamical properties from incomplete gene interaction and expression data, (IPCAT. IPCAT, LNCS, vol. 7223 (2012), Springer), 25-30
[25] Folschette, M.; Paulevé, L.; Inoue, K.; Magnin, M.; Roux, O., Concretizing the process hitting into biological regulatory networks, (Gilbert, D.; Heiner, M., Computational Methods in Systems Biology. Computational Methods in Systems Biology, Lecture Notes in Computer Science (2012), Springer: Springer Berlin/Heidelberg), 166-186
[26] Bernardinello, L.; De Cindio, F., A survey of basic net models and modular net classes, (Rozenberg, G., Advances in Petri Nets 1992. Advances in Petri Nets 1992, Lecture Notes in Computer Science, vol. 609 (1992), Springer: Springer Berlin/Heidelberg), 304-351
[27] Paulevé, L.; Magnin, M.; Roux, O., From the process hitting to Petri nets and back (2012), Technical Report hal-00744807
[28] Thomas, R.; d’Ari, R., Biological Feedback (1990), CRC Press · Zbl 0743.92003
[29] Bernot, G.; Cassez, F.; Comet, J.-P.; Delaplace, F.; Müller, C.; Roux, O., Semantics of biological regulatory networks, Electron. Notes Theor. Comput. Sci., 180, 3, 3-14 (2007)
[30] Noual, M.; Regnault, D.; Sené, S., About non-monotony in boolean automata networks, Theoret. Comput. Sci., 504, 12-25 (2013) · Zbl 1297.68179
[31] Snoussi, E. H., Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dyn. Stab. Syst., 4, 3-4, 565-583 (1989)
[32] Paulevé, L.; Chancellor, C.; Folschette, M.; Magnin, M.; Roux, O., Analyzing large network dynamics with process hitting, (Logical Modeling of Biological Systems (2014), Wiley), 125-166
[33] Baral, C.; Gelfond, G.; Son, T. C.; Pontelli, E., Using answer set programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge, (van der Hoek, W.; Kaminka, G. A.; Lesprance, Y.; Luck, M.; Sen, S., Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), International Foundation for Autonomous Agents and Multiagent Systems (2010)), 259-266
[34] Thieffry, D.; Thomas, R., Dynamical behaviour of biological regulatory networks — II. Immunity control in bacteriophage lambda, Bull. Math. Biol., 57, 2, 277-297 (1995) · Zbl 0821.92010
[35] Sahin, O.; Frohlich, H.; Lobke, C.; Korf, U.; Burmester, S.; Majety, M.; Mattern, J.; Schupp, I.; Chaouiya, C.; Thieffry, D.; Poustka, A.; Wiemann, S.; Beissbarth, T.; Arlt, D., Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance, BMC Systems Biol., 3, 1 (2009)
[36] Klamt, S.; Saez-Rodriguez, J.; Lindquist, J.; Simeoni, L.; Gilles, E., A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinform., 7, 1, 56 (2006)
[37] Saez-Rodriguez, J.; Simeoni, L.; Lindquist, J. A.; Hemenway, R.; Bommhardt, U.; Arndt, B.; Haus, U.-U.; Weismantel, R.; Gilles, E. D.; Klamt, S., A logical model provides insights into t cell receptor signaling, PLoS Comput. Biol., 3, 8, e163 (2007)
[38] Samaga, R.; Saez-Rodriguez, J.; Alexopoulos, L. G.; Sorger, P. K.; Klamt, S., The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data, PLoS Comput. Biol., 5, 8, e1000438 (2009)
[39] Klamt, S.; Saez-Rodriguez, J.; Gilles, E. D., Structural and functional analysis of cellular networks with CellNetAnalyzer, BMC Syst. Biol., 1, 1, 2 (2007)
[40] Bernot, G.; Comet, J.-P.; Khalis, Z., Gene regulatory networks with multiplexes, (European Simulation and Modelling Conference Proceedings (2008)), 423-432
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.