{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T21:27:49Z","timestamp":1775078869850,"version":"3.50.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031150333","type":"print"},{"value":"9783031150340","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15034-0_8","type":"book-chapter","created":{"date-parts":[[2022,8,18]],"date-time":"2022-08-18T19:03:08Z","timestamp":1660849388000},"page":"158-176","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Minimal Trap Spaces of\u00a0Logical Models are Maximal Siphons of\u00a0Their Petri Net Encoding"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6581-998X","authenticated-orcid":false,"given":"Van-Giang","family":"Trinh","sequence":"first","affiliation":[]},{"given":"Belaid","family":"Benhamou","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1750-1891","authenticated-orcid":false,"given":"Kunihiko","family":"Hiraishi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5525-7418","authenticated-orcid":false,"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,19]]},"reference":[{"issue":"16","key":"8_CR1","doi-asserted-by":"publisher","first-page":"4473","DOI":"10.1093\/bioinformatics\/btaa484","volume":"36","author":"SS Aghamiri","year":"2020","unstructured":"Aghamiri, S.S., et al.: Automated inference of Boolean models from molecular interaction maps using CaSQ. Bioinformatics 36(16), 4473\u20134482 (2020). https:\/\/doi.org\/10.1093\/bioinformatics\/btaa484","journal-title":"Bioinformatics"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Angeli, D., Leenheer, P.D., Sontag, E.: A Petri net approach to persistence analysis in chemical reaction networks. In: Queinnec, I., Tarbouriech, S., Garcia, G., Niculescu, SI. (eds.) Biology and Control Theory: Current Challenges, pp. 181\u2013216. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-71988-5_9","DOI":"10.1007\/978-3-540-71988-5_9"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1137\/090779401","volume":"71","author":"D Angeli","year":"2011","unstructured":"Angeli, D., Leenheer, P.D., Sontag, E.D.: Persistence results for chemical reaction networks with time-dependent kinetics and no global conservation laws. SIAM J. Appl. Math. 71(1), 128\u2013146 (2011). https:\/\/doi.org\/10.1137\/090779401","journal-title":"SIAM J. Appl. Math."},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Bl\u00e4tke, M.A., Heiner, M., Marwan, W.: Biomodel engineering with Petri nets. In: Algebraic and Discrete Mathematical Methods for Modern Biology, pp. 141\u2013192. Elsevier (2015). https:\/\/doi.org\/10.1016\/B978-0-12-801213-0.00007-1","DOI":"10.1016\/B978-0-12-801213-0.00007-1"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1186\/1752-0509-7-135","volume":"7","author":"C Chaouiya","year":"2013","unstructured":"Chaouiya, C., B\u00e9renguier, D., Keating, S.M., Naldi, A., et al.: SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst. Biol. 7, 135 (2013). https:\/\/doi.org\/10.1186\/1752-0509-7-135","journal-title":"BMC Syst. Biol."},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/s11047-010-9178-0","volume":"10","author":"C Chaouiya","year":"2011","unstructured":"Chaouiya, C., Naldi, A., Remy, E., Thieffry, D.: Petri net representation of multi-valued logical regulatory graphs. Nat. Comput. 10(2), 727\u2013750 (2011). https:\/\/doi.org\/10.1007\/s11047-010-9178-0","journal-title":"Nat. Comput."},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Chaouiya, C., Naldi, A., Thieffry, D.: Logical modelling of gene regulatory networks with GINsim. In: van Helden, J., Toussaint, A., Thieffry, D. (eds.) Bacterial Molecular Networks, pp. 463\u2013479. Springer (2012). https:\/\/doi.org\/10.1007\/978-1-61779-361-5_23","DOI":"10.1007\/978-1-61779-361-5_23"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27793-4_9","volume-title":"Applications and Theory of Petri Nets 2004","author":"C Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modelling of genetic networks: from logical regulatory graphs to standard petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 137\u2013156. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27793-4_9"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-12982-2_10","volume-title":"Computational Methods in Systems Biology","author":"T Chatain","year":"2014","unstructured":"Chatain, T., Haar, S., Jezequel, L., Paulev\u00e9, L., Schwoon, S.: Characterization of reachable attractors using petri net unfoldings. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 129\u2013142. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-12982-2_10"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11047-019-09748-4","volume":"19","author":"T Chatain","year":"2019","unstructured":"Chatain, T., Haar, S., Kol\u010d\u00e1k, J., Paulev\u00e9, L., Thakkar, A.: Concurrency in Boolean networks. Nat. Comput. 19(1), 91\u2013109 (2019). https:\/\/doi.org\/10.1007\/s11047-019-09748-4","journal-title":"Nat. Comput."},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Chevalier, S., Froidevaux, C., Paulev\u00e9, L., Zinovyev, A.Y.: Synthesis of Boolean networks from biological dynamical constraints using answer-set programming. In: 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, 4\u20136 November 2019, pp. 34\u201341. IEEE (2019). https:\/\/doi.org\/10.1109\/ICTAI.2019.00014","DOI":"10.1109\/ICTAI.2019.00014"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-030-60327-4_11","volume-title":"Computational Methods in Systems Biology","author":"S Chevalier","year":"2020","unstructured":"Chevalier, S., No\u00ebl, V., Calzone, L., Zinovyev, A., Paulev\u00e9, L.: Synthesis and simulation of ensembles of boolean networks for cell fate decision. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 193\u2013209. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_11"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s43556-021-00034-3","volume":"2","author":"KF Corral-Jara","year":"2021","unstructured":"Corral-Jara, K.F., et al.: Interplay between SMAD2 and STAT5A is a critical determinant of IL-17A\/IL-17F differential expression. Mol. Biomed. 2(1), 1\u201316 (2021). https:\/\/doi.org\/10.1186\/s43556-021-00034-3","journal-title":"Mol. Biomed."},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-030-60327-4_4","volume-title":"Computational Methods in Systems Biology","author":"\u00c9 Degrand","year":"2020","unstructured":"Degrand, \u00c9., Fages, F., Soliman, S.: Graphical conditions for rate independence in chemical reaction networks. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 61\u201378. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_4"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.jtbi.2010.09.017","volume":"270","author":"G Didier","year":"2011","unstructured":"Didier, G., Remy, E., Chaouiya, C.: Mapping multivalued onto Boolean dynamics. J. Theor. Biol. 270(1), 177\u2013184 (2011). https:\/\/doi.org\/10.1016\/j.jtbi.2010.09.017","journal-title":"J. Theor. Biol."},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-60327-4_9","volume-title":"Computational Methods in Systems Biology","author":"L Cifuentes Fontanals","year":"2020","unstructured":"Cifuentes Fontanals, L., Tonello, E., Siebert, H.: Control strategy identification via trap spaces in Boolean networks. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 159\u2013175. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_9"},{"issue":"2","key":"8_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011). https:\/\/doi.org\/10.3233\/AIC-2011-0491","journal-title":"AI Commun."},{"issue":"1","key":"8_CR18","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39(1), 103\u2013129 (1973). https:\/\/doi.org\/10.1016\/0022-5193(73)90208-7","journal-title":"J. Theor. Biol."},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"2145","DOI":"10.1016\/j.csbj.2020.07.016","volume":"18","author":"E Guberman","year":"2020","unstructured":"Guberman, E., Sherief, H., Regan, E.R.: Boolean model of anchorage dependence and contact inhibition points to coordinated inhibition but semi-independent induction of proliferation and migration. Comput. Struct. Biotechnol. J. 18, 2145\u20132165 (2020). https:\/\/doi.org\/10.1016\/j.csbj.2020.07.016","journal-title":"Comput. Struct. Biotechnol. J."},{"issue":"4","key":"8_CR20","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0061757","volume":"8","author":"T Helikar","year":"2013","unstructured":"Helikar, T., et al.: A comprehensive, multi-scale dynamical model of ErbB receptor signal transduction in human mammary epithelial cells. PloS One 8(4), e61757 (2013). https:\/\/doi.org\/10.1371\/journal.pone.0061757","journal-title":"PloS One"},{"issue":"6","key":"8_CR21","doi-asserted-by":"publisher","first-page":"1913","DOI":"10.1073\/pnas.0705088105","volume":"105","author":"T Helikar","year":"2008","unstructured":"Helikar, T., Konvalina, J., Heidel, J., Rogers, J.A.: Emergent decision-making in biological signal transduction networks. Proc. National Acad. Sci. 105(6), 1913\u20131918 (2008). https:\/\/doi.org\/10.1073\/pnas.0705088105","journal-title":"Proc. National Acad. Sci."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1186\/1752-0509-6-96","volume":"6","author":"T Helikar","year":"2012","unstructured":"Helikar, T., Kowal, B.M., McClenathan, S., Bruckner, M., et al.: The Cell Collective: toward an open and collaborative approach to systems biology. BMC Syst. Biol. 6, 96 (2012). https:\/\/doi.org\/10.1186\/1752-0509-6-96","journal-title":"BMC Syst. Biol."},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Hernandez, C., Thomas-Chollier, M., Naldi, A., Thieffry, D.: Computational verification of large logical models-application to the prediction of T cell response to checkpoint inhibitors. Front. Physiol. 1154 (2020). https:\/\/doi.org\/10.3389\/fphys.2020.558606","DOI":"10.3389\/fphys.2020.558606"},{"issue":"8","key":"8_CR24","doi-asserted-by":"publisher","first-page":"e9110","DOI":"10.15252\/msb.20199110","volume":"16","author":"SM Keating","year":"2020","unstructured":"Keating, S.M., Waltemath, D., K\u00f6nig, M., Zhang, F., et al.: SBML Level 3: an extensible format for the exchange and reuse of biological models. Mol. Syst. Biol. 16(8), e9110 (2020). https:\/\/doi.org\/10.15252\/msb.20199110","journal-title":"Mol. Syst. Biol."},{"issue":"175","key":"8_CR25","doi-asserted-by":"publisher","first-page":"ra35","DOI":"10.1126\/scisignal.2001390","volume":"4","author":"JR Kim","year":"2011","unstructured":"Kim, J.R., Kim, J., Kwon, Y.K., Lee, H.Y., Heslop-Harrison, P., Cho, K.H.: Reduction of complex signaling networks to a representative kernel. Sci. Signal. 4(175), ra35 (2011). https:\/\/doi.org\/10.1126\/scisignal.2001390","journal-title":"Sci. Signal."},{"issue":"7","key":"8_CR26","doi-asserted-by":"publisher","first-page":"e68407","DOI":"10.1371\/journal.pone.0068407","volume":"8","author":"J Kim","year":"2013","unstructured":"Kim, J., Yi, G.S.: RMOD: a tool for regulatory motif detection in signaling network. PloS One 8(7), e68407 (2013). https:\/\/doi.org\/10.1371\/journal.pone.0068407","journal-title":"PloS One"},{"issue":"4","key":"8_CR27","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s11047-015-9520-7","volume":"14","author":"H Klarner","year":"2015","unstructured":"Klarner, H., Bockmayr, A., Siebert, H.: Computing maximal and minimal trap spaces of Boolean networks. Nat. Comput. 14(4), 535\u2013544 (2015). https:\/\/doi.org\/10.1007\/s11047-015-9520-7","journal-title":"Nat. Comput."},{"issue":"5","key":"8_CR28","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2017","unstructured":"Klarner, H., Streck, A., Siebert, H.: PyBoolNet: a python package for the generation, analysis and visualization of Boolean networks. Bioinformatics 33(5), 770\u2013772 (2017). https:\/\/doi.org\/10.1093\/bioinformatics\/btw682","journal-title":"Bioinformatics"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1186\/s12918-016-0322-z","volume":"10","author":"Y Kwon","year":"2016","unstructured":"Kwon, Y.: Properties of Boolean dynamics by node classification using feedback loops in a network. BMC Syst. Biol. 10, 83 (2016). https:\/\/doi.org\/10.1186\/s12918-016-0322-z","journal-title":"BMC Syst. Biol."},{"issue":"1","key":"8_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41598-019-50790-0","volume":"9","author":"D Lee","year":"2019","unstructured":"Lee, D., Cho, K.H.: Signal flow control of complex signaling networks. Sci. Rep. 9(1), 1\u201318 (2019). https:\/\/doi.org\/10.1038\/s41598-019-50790-0","journal-title":"Sci. Rep."},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.ins.2015.08.037","volume":"363","author":"G Liu","year":"2016","unstructured":"Liu, G., Barkaoui, K.: A survey of siphons in Petri nets. Inf. Sci. 363, 198\u2013220 (2016). https:\/\/doi.org\/10.1016\/j.ins.2015.08.037","journal-title":"Inf. Sci."},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Montagud, A., et al.: Patient-specific Boolean models of signaling networks guide personalized treatments. BioRxiv (2021). https:\/\/doi.org\/10.1101\/2021.07.28.454126","DOI":"10.1101\/2021.07.28.454126"},{"issue":"4","key":"8_CR33","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989). https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc. IEEE"},{"issue":"10","key":"8_CR34","doi-asserted-by":"publisher","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","volume":"26","author":"C M\u00fcssel","year":"2010","unstructured":"M\u00fcssel, C., Hopfensitz, M., Kestler, H.A.: BoolNet - an R package for generation, reconstruction and analysis of Boolean networks. Bioinformatics 26(10), 1378\u20131380 (2010). https:\/\/doi.org\/10.1093\/bioinformatics\/btq124","journal-title":"Bioinformatics"},{"issue":"2","key":"8_CR35","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10601-015-9190-1","volume":"21","author":"F Nabli","year":"2015","unstructured":"Nabli, F., Martinez, T., Fages, F., Soliman, S.: On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints 21(2), 251\u2013276 (2015). https:\/\/doi.org\/10.1007\/s10601-015-9190-1","journal-title":"Constraints"},{"issue":"7","key":"8_CR36","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1093\/bioinformatics\/btv013","volume":"31","author":"A Naldi","year":"2015","unstructured":"Naldi, A., et al.: Cooperative development of logical modelling standards and tools with CoLoMoTo. Bioinformatics 31(7), 1154\u20131159 (2015). https:\/\/doi.org\/10.1093\/bioinformatics\/btv013","journal-title":"Bioinformatics"},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.tcs.2012.05.034","volume":"504","author":"M Noual","year":"2013","unstructured":"Noual, M., Regnault, D., Sen\u00e9, S.: About non-monotony in Boolean automata networks. Theor. Comput. Sci. 504, 12\u201325 (2013). https:\/\/doi.org\/10.1016\/j.tcs.2012.05.034","journal-title":"Theor. Comput. Sci."},{"key":"8_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-13675-7_16","volume-title":"Applications and Theory of Petri Nets","author":"O Oanea","year":"2010","unstructured":"Oanea, O., Wimmel, H., Wolf, K.: New algorithms for deciding the siphon-trap property. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 267\u2013286. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13675-7_16"},{"key":"8_CR39","series-title":"Methods in Molecular Biology","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-1-4939-2627-5_25","volume-title":"Systems Biology of Alzheimer\u2019s Disease","author":"S Ogishima","year":"2016","unstructured":"Ogishima, S., et al.: AlzPathway, an updated map of curated signaling pathways: towards deciphering Alzheimer\u2019s disease pathogenesis. In: Castrillo, J.I., Oliver, S.G. (eds.) Systems Biology of Alzheimer\u2019s Disease. MMB, vol. 1303, pp. 423\u2013432. Springer, New York (2016). https:\/\/doi.org\/10.1007\/978-1-4939-2627-5_25"},{"issue":"10","key":"8_CR40","doi-asserted-by":"publisher","first-page":"e10387","DOI":"10.15252\/msb.202110387","volume":"17","author":"M Ostaszewski","year":"2021","unstructured":"Ostaszewski, M., Niarakis, A., Mazein, A., Kuperstein, I., Phair, R., Orta-Resendiz, A., Singh, V., Aghamiri, S.S., Acencio, M.L., Glaab, E., et al.: COVID19 disease map, a computational knowledge repository of virus-host interaction mechanisms. Mol. Syst. Biol. 17(10), e10387 (2021). https:\/\/doi.org\/10.15252\/msb.202110387","journal-title":"Mol. Syst. Biol."},{"issue":"1","key":"8_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41467-020-18112-5","volume":"11","author":"L Paulev\u00e9","year":"2020","unstructured":"Paulev\u00e9, L., Kol\u010d\u00e1k, J., Chatain, T., Haar, S.: Reconciling qualitative, abstract, and scalable modeling of biological networks. Nat. Commun. 11(1), 1\u20137 (2020). https:\/\/doi.org\/10.1038\/s41467-020-18112-5","journal-title":"Nat. Commun."},{"key":"8_CR42","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Hoboken (1981)"},{"key":"8_CR43","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Hunter, L., Searls, D.B., Shavlik, J.W. (eds.) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology, Bethesda, MD, USA, July 1993, pp. 328\u2013336. AAAI (1993). http:\/\/www.aaai.org\/Library\/ISMB\/1993\/ismb93-038.php"},{"issue":"577","key":"8_CR44","doi-asserted-by":"publisher","first-page":"eaar3641","DOI":"10.1126\/scisignal.aar3641","volume":"12","author":"O Rodr\u00edguez-Jorge","year":"2019","unstructured":"Rodr\u00edguez-Jorge, O., et al.: Cooperation between T cell receptor and Toll-like receptor 5 signaling for CD4+ T cell activation. Sci. Signal. 12(577), eaar3641 (2019). https:\/\/doi.org\/10.1126\/scisignal.aar3641","journal-title":"Sci. Signal."},{"issue":"1","key":"8_CR45","doi-asserted-by":"publisher","first-page":"e100050","DOI":"10.18547\/gcb.2018.vol4.iss1.e100050","volume":"4","author":"V Singh","year":"2018","unstructured":"Singh, V., et al.: Computational systems biology approach for the study of rheumatoid arthritis: from a molecular map to a dynamical model. Genom. Comput. Biol. 4(1), e100050 (2018). https:\/\/doi.org\/10.18547\/gcb.2018.vol4.iss1.e100050","journal-title":"Genom. Comput. Biol."},{"key":"8_CR46","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565\u2013583 (1973). https:\/\/doi.org\/10.1016\/0022-5193(73)90247-6","journal-title":"J. Theor. Biol."},{"issue":"1","key":"8_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153(1), 1\u201323 (1991). https:\/\/doi.org\/10.1016\/S0022-5193(05)80350-9","journal-title":"J. Theor. Biol."},{"key":"8_CR48","volume-title":"Biological Feedback","author":"R Thomas","year":"1990","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"},{"key":"8_CR49","doi-asserted-by":"publisher","first-page":"502573","DOI":"10.3389\/fmolb.2020.502573","volume":"7","author":"E Tsirvouli","year":"2020","unstructured":"Tsirvouli, E., Tour\u00e9, V., Niederdorfer, B., V\u00e1zquez, M., Flobak, \u00c5., Kuiper, M.: A middle-out modeling strategy to extend a colon cancer logical model improves drug synergy predictions in epithelial-derived cancer cell lines. Front. Mol. Biosci. 7, 502573 (2020). https:\/\/doi.org\/10.3389\/fmolb.2020.502573","journal-title":"Front. Mol. Biosci."},{"issue":"5","key":"8_CR50","doi-asserted-by":"publisher","DOI":"10.1088\/1478-3975\/9\/5\/055001","volume":"9","author":"RS Wang","year":"2012","unstructured":"Wang, R.S., Saadatpour, A., Albert, R.: Boolean modeling in systems biology: an overview of methodology and applications. Phys. Biol. 9(5), 055001 (2012). https:\/\/doi.org\/10.1088\/1478-3975\/9\/5\/055001","journal-title":"Phys. Biol."},{"key":"8_CR51","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. Silico Biol. 3(3), 323\u2013345 (2003). http:\/\/content.iospress.com\/articles\/in-silico-biology\/isb00100"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15034-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T23:03:09Z","timestamp":1662505389000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15034-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150333","9783031150340"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15034-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"19 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bucharest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmi.unibuc.ro\/en\/cmsb-2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}