{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T10:10:30Z","timestamp":1767175830989,"version":"build-2238731810"},"update-to":[{"DOI":"10.1371\/journal.pcbi.1009702","type":"new_version","label":"New version","source":"publisher","updated":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T00:00:00Z","timestamp":1643587200000}}],"reference-count":33,"publisher":"Public Library of Science (PLoS)","issue":"1","license":[{"start":{"date-parts":[[2022,1,14]],"date-time":"2022-01-14T00:00:00Z","timestamp":1642118400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["PE17765"],"award-info":[{"award-number":["PE17765"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["18H04113"],"award-info":[{"award-number":["18H04113"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.ploscompbiol.org"],"crossmark-restriction":false},"short-container-title":["PLoS Comput Biol"],"abstract":"<jats:p>\n                    Boolean networks (BNs) have been developed to describe various biological processes, which requires analysis of attractors, the long-term stable states. While many methods have been proposed to detection and enumeration of attractors, there are no methods which have been demonstrated to be theoretically better than the naive method and be practically used for large biological BNs. Here, we present a novel method to calculate attractors based on\n                    <jats:italic>a priori<\/jats:italic>\n                    information, which works much and verifiably faster than the naive method. We apply the method to two BNs which differ in size, modeling formalism, and biological scope. Despite these differences, the method presented here provides a powerful tool for the analysis of both networks. First, our analysis of a BN studying the effect of the microenvironment during angiogenesis shows that the previously defined microenvironments inducing the specialized phalanx behavior in endothelial cells (ECs) additionally induce stalk behavior. We obtain this result from an extended network version which was previously not analyzed. Second, we were able to heuristically detect attractors in a cell cycle control network formalized as a bipartite Boolean model (bBM) with 3158 nodes. These attractors are directly interpretable in terms of genotype-to-phenotype relationships, allowing network validation equivalent to an\n                    <jats:italic>in silico<\/jats:italic>\n                    mutagenesis screen. Our approach contributes to the development of scalable analysis methods required for whole-cell modeling efforts.\n                  <\/jats:p>","DOI":"10.1371\/journal.pcbi.1009702","type":"journal-article","created":{"date-parts":[[2022,1,14]],"date-time":"2022-01-14T14:47:49Z","timestamp":1642171669000},"page":"e1009702","update-policy":"https:\/\/doi.org\/10.1371\/journal.pcbi.corrections_policy","source":"Crossref","is-referenced-by-count":1,"title":["Identification of periodic attractors in Boolean networks using a priori information"],"prefix":"10.1371","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8939-7643","authenticated-orcid":true,"given":"Ulrike","family":"M\u00fcnzner","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3483-0056","authenticated-orcid":true,"given":"Tomoya","family":"Mori","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7843-8342","authenticated-orcid":true,"given":"Marcus","family":"Krantz","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0567-7075","authenticated-orcid":true,"given":"Edda","family":"Klipp","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9763-797X","authenticated-orcid":true,"given":"Tatsuya","family":"Akutsu","sequence":"additional","affiliation":[]}],"member":"340","published-online":{"date-parts":[[2022,1,14]]},"reference":[{"key":"pcbi.1009702.ref001","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","article-title":"Metabolic stability and epigenesis in randomly constructed genetic nets","volume":"22","author":"S Kauffman","year":"2010","journal-title":"J Theoret Biol"},{"key":"pcbi.1009702.ref002","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-097-7","volume-title":"Analysis and Control of Boolean Networks: A Semi-tensor Product Approach","author":"D Cheng","year":"2011"},{"key":"pcbi.1009702.ref003","doi-asserted-by":"crossref","DOI":"10.1142\/10801","volume-title":"Algorithms for Analysis, Inference, and Control of Boolean Networks","author":"T Akutsu","year":"2018"},{"key":"pcbi.1009702.ref004","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718539","volume-title":"Discrete Mathematics of Neural Networks, Selected Topics","author":"M Anthony","year":"2001"},{"issue":"11","key":"pcbi.1009702.ref005","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pcbi.1002267","article-title":"Dynamical and Structural Analysis of a T Cell Survival Network Identifies Novel Candidate Therapeutic Targets for Large Granular Lymphocyte Leukemia","volume":"7","author":"A Saadatpour","year":"2011","journal-title":"PLOS Comput Biol"},{"key":"pcbi.1009702.ref006","doi-asserted-by":"crossref","first-page":"94","DOI":"10.3389\/fgene.2016.00094","article-title":"Logical Modeling and Dynamical Analysis of Cellular Networks","volume":"7","author":"W Abou-Jaoud\u00e9","year":"2016","journal-title":"Frontiers in Genetics"},{"issue":"7","key":"pcbi.1009702.ref007","first-page":"3283","article-title":"Delayed Feedback Control for Stabilization of Boolean Control Networks With State Delay","volume":"29","author":"R Liu","year":"2018","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"issue":"10","key":"pcbi.1009702.ref008","doi-asserted-by":"crossref","first-page":"3124","DOI":"10.1109\/TCYB.2016.2581220","article-title":"On Stabilization of Quantized Sampled-Data Neural-Network-Based Control Systems","volume":"47","author":"Y Wang","year":"2017","journal-title":"IEEE Trans Cybern"},{"key":"pcbi.1009702.ref009","doi-asserted-by":"crossref","first-page":"960","DOI":"10.3389\/fphys.2017.00960","article-title":"A Network Model to Explore the Effect of the Micro-environment on Endothelial Cell Behavior during Angiogenesis","volume":"8","author":"N Weinstein","year":"2017","journal-title":"Frontiers in Physiology"},{"issue":"4","key":"pcbi.1009702.ref010","doi-asserted-by":"crossref","first-page":"1997","DOI":"10.1137\/13090537X","article-title":"A Reduction Method for Boolean Network Models Proven to Conserve Attractors","volume":"12","author":"A Saadatpour","year":"2013","journal-title":"SIAM J Appl Dynamical Systems"},{"key":"pcbi.1009702.ref011","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/j.jtbi.2011.08.042","article-title":"Reduction of Boolean network models","volume":"289","author":"A Veliz-Cuba","year":"2011","journal-title":"J Theoret Biol"},{"issue":"5","key":"pcbi.1009702.ref012","doi-asserted-by":"crossref","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","article-title":"A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks","volume":"8","author":"E Dubrova","year":"2011","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"pcbi.1009702.ref013","doi-asserted-by":"crossref","first-page":"130","DOI":"10.3389\/fbioe.2015.00130","article-title":"Approximating Attractors of Boolean Networks by Iterative CTL Model Checking","volume":"3","author":"H Klarner","year":"2015","journal-title":"Frontiers in Bioeng Biotech"},{"key":"pcbi.1009702.ref014","doi-asserted-by":"crossref","first-page":"1398","DOI":"10.1007\/s11538-008-9304-7","article-title":"On the Number of Fixed Points in Regulatory Boolean Networks","volume":"70","author":"J Aracena","year":"2008","journal-title":"Bull Math Biol"},{"key":"pcbi.1009702.ref015","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.aam.2010.03.002","article-title":"Sequential Operator for Filtering Cycles in Boolean Networks","volume":"45","author":"E Goles","year":"2010","journal-title":"Adv Appl Math"},{"issue":"14-15","key":"pcbi.1009702.ref016","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1016\/j.ipl.2010.05.001","article-title":"Determining a singleton attractor of an AND\/OR Boolean network in O(1.587n) time","volume":"110","author":"AA Melkman","year":"2010","journal-title":"Inform Proc Lett"},{"issue":"5","key":"pcbi.1009702.ref017","doi-asserted-by":"crossref","first-page":"1410","DOI":"10.1109\/TCBB.2012.87","article-title":"Finding a Periodic Attractor of a Boolean Network","volume":"9","author":"T Akutsu","year":"2012","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"pcbi.1009702.ref018","unstructured":"Inoue K. Logic Programming for Boolean Networks. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence\u2014Volume Two. IJCAI\u201911. AAAI Press; 2011. p. 924\u2013930."},{"issue":"17","key":"pcbi.1009702.ref019","doi-asserted-by":"crossref","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","article-title":"Synchronous versus asynchronous modeling of gene regulatory networks","volume":"24","author":"A Garg","year":"2008","journal-title":"Bioinformatics"},{"key":"pcbi.1009702.ref020","article-title":"ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks","volume":"12","author":"E Abdallah","year":"2017","journal-title":"Algorithms for Molecular Biology"},{"issue":"2","key":"pcbi.1009702.ref021","doi-asserted-by":"crossref","first-page":"025111","DOI":"10.1063\/1.4809777","article-title":"An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks","volume":"23","author":"JGT Za\u00f1udo","year":"2013","journal-title":"Chaos: An Interdisciplinary Journal of Nonlinear Science"},{"key":"pcbi.1009702.ref022","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/978-3-319-11520-7_59","volume-title":"Cellular Automata","author":"H Klarner","year":"2014"},{"issue":"10","key":"pcbi.1009702.ref023","doi-asserted-by":"crossref","first-page":"2251","DOI":"10.1109\/TAC.2010.2043294","article-title":"A Linear Representation of Dynamics of Boolean Networks","volume":"55","author":"D Cheng","year":"2010","journal-title":"IEEE Trans Autom Control"},{"issue":"9","key":"pcbi.1009702.ref024","doi-asserted-by":"crossref","first-page":"1991","DOI":"10.1109\/TNNLS.2015.2461012","article-title":"Feedback Controller Design for the Synchronization of Boolean Control Networks","volume":"27","author":"Y Liu","year":"2016","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"issue":"7","key":"pcbi.1009702.ref025","doi-asserted-by":"crossref","first-page":"1527","DOI":"10.1109\/TNNLS.2015.2442593","article-title":"Control of Large-Scale Boolean Networks via Network Aggregation","volume":"27","author":"Y Zhao","year":"2016","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"issue":"6","key":"pcbi.1009702.ref026","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1016\/j.cell.2011.08.039","article-title":"Basic and Therapeutic Aspects of Angiogenesis","volume":"146","author":"M Potente","year":"2011","journal-title":"Cell"},{"issue":"10","key":"pcbi.1009702.ref027","doi-asserted-by":"crossref","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","article-title":"BoolNet\u2013an R package for generation, reconstruction and analysis of Boolean networks","volume":"26","author":"C M\u00fcssel","year":"2010","journal-title":"Bioinformatics"},{"issue":"1","key":"pcbi.1009702.ref028","doi-asserted-by":"crossref","first-page":"1308","DOI":"10.1038\/s41467-019-08903-w","article-title":"A comprehensive, mechanistically detailed, and executable model of the cell division cycle in Saccharomyces cerevisiae","volume":"10","author":"U M\u00fcnzner","year":"2019","journal-title":"Nat Comm"},{"issue":"2","key":"pcbi.1009702.ref029","article-title":"A scalable method for parameter-free simulation and validation of mechanistic cellular signal transduction network models","volume":"6","author":"J Romers","year":"2020","journal-title":"NPJ Syst Biol Appl"},{"key":"pcbi.1009702.ref030","article-title":"rxncon 2.0: a language for executable molecular systems biology","author":"JC Romers","year":"2017","journal-title":"bioRxiv"},{"issue":"D1","key":"pcbi.1009702.ref031","doi-asserted-by":"crossref","first-page":"D700","DOI":"10.1093\/nar\/gkr1029","article-title":"Saccharomyces Genome Database: the genomics resource of budding yeast","volume":"40","author":"JM Cherry","year":"2011","journal-title":"Nucleic Acids Res"},{"key":"pcbi.1009702.ref032","doi-asserted-by":"crossref","first-page":"1750","DOI":"10.3389\/fimmu.2017.01750","article-title":"How Endothelial Cells Adapt Their Metabolism to Form Vessels in Tumors","volume":"8","author":"A Zecchin","year":"2017","journal-title":"Frontiers in Immunology"},{"issue":"14","key":"pcbi.1009702.ref033","doi-asserted-by":"crossref","first-page":"4781","DOI":"10.1073\/pnas.0305937101","article-title":"The yeast cell-cycle network is robustly designed","volume":"101","author":"F Li","year":"2004","journal-title":"Proc Natl Acad Sci"}],"updated-by":[{"DOI":"10.1371\/journal.pcbi.1009702","type":"new_version","label":"New version","source":"publisher","updated":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T00:00:00Z","timestamp":1643587200000}}],"container-title":["PLOS Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1009702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,31]],"date-time":"2022-01-31T13:42:36Z","timestamp":1643636556000},"score":1,"resource":{"primary":{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1009702"}},"subtitle":[],"editor":[{"given":"Jeffrey J.","family":"Saucerman","sequence":"first","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2022,1,14]]},"references-count":33,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2022,1,14]]}},"URL":"https:\/\/doi.org\/10.1371\/journal.pcbi.1009702","relation":{},"ISSN":["1553-7358"],"issn-type":[{"value":"1553-7358","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,14]]}}}