{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:33:24Z","timestamp":1775738004888,"version":"3.50.1"},"update-to":[{"DOI":"10.1371\/journal.pcbi.1009657","type":"new_version","label":"New version","source":"publisher","updated":{"date-parts":[[2022,6,16]],"date-time":"2022-06-16T00:00:00Z","timestamp":1655337600000}}],"reference-count":75,"publisher":"Public Library of Science (PLoS)","issue":"6","license":[{"start":{"date-parts":[[2022,6,6]],"date-time":"2022-06-06T00:00:00Z","timestamp":1654473600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Eranet LEAP-Agri","award":["01DG18020"],"award-info":[{"award-number":["01DG18020"]}]}],"content-domain":{"domain":["www.ploscompbiol.org"],"crossmark-restriction":false},"short-container-title":["PLoS Comput Biol"],"abstract":"<jats:p>Model-checking is a methodology developed in computer science to automatically assess the dynamics of discrete systems, by checking if a system modelled as a state-transition graph satisfies a dynamical property written as a temporal logic formula. The dynamics of ecosystems have been drawn as state-transition graphs for more than a century, ranging from state-and-transition models to assembly graphs. Model-checking can provide insights into both empirical data and theoretical models, as long as they sum up into state-transition graphs. While model-checking proved to be a valuable tool in systems biology, it remains largely underused in ecology apart from precursory applications.<\/jats:p>\n                  <jats:p>This article proposes to address this situation, through an inventory of existing ecological STGs and an accessible presentation of the model-checking methodology. This overview is illustrated by the application of model-checking to assess the dynamics of a vegetation pathways model. We select management scenarios by model-checking Computation Tree Logic formulas representing management goals and built from a proposed catalogue of patterns. In discussion, we sketch bridges between existing studies in ecology and available model-checking frameworks. In addition to the automated analysis of ecological state-transition graphs, we believe that defining ecological concepts with temporal logics could help clarify and compare them.<\/jats:p>","DOI":"10.1371\/journal.pcbi.1009657","type":"journal-article","created":{"date-parts":[[2022,6,6]],"date-time":"2022-06-06T13:37:29Z","timestamp":1654522649000},"page":"e1009657","update-policy":"https:\/\/doi.org\/10.1371\/journal.pcbi.corrections_policy","source":"Crossref","is-referenced-by-count":14,"title":["Model-checking ecological state-transition graphs"],"prefix":"10.1371","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7650-784X","authenticated-orcid":true,"given":"Colin","family":"Thomas","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8353-5104","authenticated-orcid":true,"given":"Maximilien","family":"Cosme","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4521-8914","authenticated-orcid":true,"given":"C\u00e9dric","family":"Gaucherel","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9959-3699","authenticated-orcid":true,"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[]}],"member":"340","published-online":{"date-parts":[[2022,6,6]]},"reference":[{"key":"pcbi.1009657.ref001","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.56234","volume-title":"Plant succession: an analysis of the development of vegetation","author":"FE Clements","year":"1916"},{"key":"pcbi.1009657.ref002","volume-title":"Cyber Physical Systems Series","author":"EM Clarke","year":"2018","edition":"2"},{"issue":"3","key":"pcbi.1009657.ref003","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1139\/a02-007","article-title":"Dynamics of North American boreal mixedwoods","volume":"10","author":"HY Chen","year":"2002","journal-title":"Environmental Reviews"},{"issue":"4","key":"pcbi.1009657.ref004","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.1890\/0012-9658(2003)084[1001:MTAOPC]2.0.CO;2","article-title":"Mapping the Assembly of Protist Communities in Microcosms","volume":"84","author":"PH Warren","year":"2003","journal-title":"Ecology"},{"issue":"4","key":"pcbi.1009657.ref005","doi-asserted-by":"crossref","first-page":"266","DOI":"10.2307\/3899492","article-title":"Opportunistic management for rangelands not at equilibrium","volume":"42","author":"M Westoby","year":"1989","journal-title":"Journal of Range Management"},{"key":"pcbi.1009657.ref006","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/978-3-319-46709-2_9","volume-title":"Rangeland Systems: Processes, Management and Challenges. Springer Series on Environmental Management","author":"BT Bestelmeyer","year":"2017"},{"issue":"4","key":"pcbi.1009657.ref007","doi-asserted-by":"crossref","first-page":"749","DOI":"10.2307\/5394","article-title":"The Assembly of Ecological Communities: A Minimalist Approach","volume":"62","author":"L Hang-Kwang","year":"1993","journal-title":"Journal of Animal Ecology"},{"issue":"5","key":"pcbi.1009657.ref008","doi-asserted-by":"crossref","first-page":"1029","DOI":"10.1111\/ele.13702","article-title":"Tractable models of ecological assembly","volume":"24","author":"CA Serv\u00e1n","year":"2021","journal-title":"Ecology Letters"},{"issue":"1","key":"pcbi.1009657.ref009","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1071\/RJ20020","article-title":"Past, present and future of state and transition language","volume":"42","author":"B Walker","year":"2020","journal-title":"Rangeland Journal"},{"key":"pcbi.1009657.ref010","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/3-540-44919-1_29","volume-title":"Applications and Theory of Petri Nets 2003. Lecture Notes in Computer Science","author":"C Schr\u00f6ter","year":"2003"},{"key":"pcbi.1009657.ref011","unstructured":"Kordon F, Bouvier P, Garavel H, Hillah LM, Hulin-Hubard F, Amat N, et al. Complete Results for the 2020 Edition of the Model Checking Contest; 2021. Available from: http:\/\/mcc.lip6.fr\/2021\/results.php."},{"issue":"5","key":"pcbi.1009657.ref012","doi-asserted-by":"crossref","first-page":"055001","DOI":"10.1088\/1478-3975\/9\/5\/055001","article-title":"Boolean modeling in systems biology: an overview of methodology and applications","volume":"9","author":"RS Wang","year":"2012","journal-title":"Physical Biology"},{"key":"pcbi.1009657.ref013","first-page":"63","volume-title":"Formal Methods for Dynamical Systems. SFM 2013. Lecture Notes in Computer Science","author":"L Brim","year":"2013"},{"issue":"1","key":"pcbi.1009657.ref014","doi-asserted-by":"crossref","first-page":"e1004591","DOI":"10.1371\/journal.pcbi.1004591","article-title":"Computational Modeling, Formal Analysis, and Tools for Systems Biology","volume":"12","author":"E Bartocci","year":"2016","journal-title":"PLOS Computational Biology"},{"issue":"suppl_1","key":"pcbi.1009657.ref015","doi-asserted-by":"crossref","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","article-title":"Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli","volume":"21","author":"G Batt","year":"2005","journal-title":"Bioinformatics"},{"key":"pcbi.1009657.ref016","first-page":"86","article-title":"Model Checking to Assess T-Helper Cell Plasticity","volume":"2","author":"W Abou-Jaoud\u00e9","year":"2015","journal-title":"Frontiers in Bioengineering and Biotechnology"},{"issue":"17","key":"pcbi.1009657.ref017","doi-asserted-by":"crossref","first-page":"i772","DOI":"10.1093\/bioinformatics\/btw457","article-title":"Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation","volume":"32","author":"P Traynard","year":"2016","journal-title":"Bioinformatics"},{"issue":"1","key":"pcbi.1009657.ref018","doi-asserted-by":"crossref","first-page":"e1007900","DOI":"10.1371\/journal.pcbi.1007900","article-title":"Personalized logical models to investigate cancer response to BRAF treatments in melanomas and colorectal cancers","volume":"17","author":"J B\u00e9al","year":"2021","journal-title":"PLOS Computational Biology"},{"key":"pcbi.1009657.ref019","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.envsoft.2011.08.005","article-title":"Use of timed automata and model-checking to explore scenarios on ecosystem models","volume":"30","author":"C Largou\u00ebt","year":"2012","journal-title":"Environmental Modelling & Software"},{"key":"pcbi.1009657.ref020","doi-asserted-by":"crossref","unstructured":"Cordier MO, Largou\u00ebt C, Zhao Y. Model-Checking an Ecosystem Model for Decision-Aid. In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence; 2014. p. 539\u2013543.","DOI":"10.1109\/ICTAI.2014.87"},{"key":"pcbi.1009657.ref021","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.agee.2017.10.009","article-title":"Rangeland vegetation diversity and transition pathways under indigenous pastoralist management regimes in southern Ethiopia","volume":"252","author":"C Liao","year":"2018","journal-title":"Agriculture, Ecosystems & Environment"},{"issue":"23","key":"pcbi.1009657.ref022","doi-asserted-by":"crossref","first-page":"11694","DOI":"10.1002\/ece3.4621","article-title":"Bush encroachment dynamics and rangeland management implications in southern Ethiopia","volume":"8","author":"C Liao","year":"2018","journal-title":"Ecology and Evolution"},{"issue":"11","key":"pcbi.1009657.ref023","doi-asserted-by":"crossref","first-page":"2433","DOI":"10.1007\/s10980-020-01068-8","article-title":"Landscape sustainability science in the drylands: mobility, rangelands and livelihoods","volume":"35","author":"C Liao","year":"2020","journal-title":"Landscape Ecology"},{"key":"pcbi.1009657.ref024","unstructured":"Liao C. Complexity In The Open Grazing System: Rangeland Ecology, Pastoral Mobility And Ethnobotanical Knowledge In Borana, Ethiopia [PhD Thesis]. Cornell University; 2016. Available from: https:\/\/hdl.handle.net\/1813\/43578."},{"key":"pcbi.1009657.ref025","doi-asserted-by":"crossref","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":"1","key":"pcbi.1009657.ref026","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3368\/er.19.1.5","article-title":"Community succession and assembly comparing, contrasting and combining paradigms in the context of ecological restoration","volume":"19","author":"TP Young","year":"2001","journal-title":"Ecological Restoration"},{"key":"pcbi.1009657.ref027","doi-asserted-by":"crossref","DOI":"10.12688\/f1000research.8973.1","article-title":"Integrating succession and community assembly perspectives","volume":"5","author":"C Chang","year":"2016","journal-title":"F1000Research"},{"issue":"7","key":"pcbi.1009657.ref028","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1016\/j.tree.2006.03.013","article-title":"Network structure and the biology of populations","volume":"21","author":"RM May","year":"2006","journal-title":"Trends in Ecology & Evolution"},{"issue":"4","key":"pcbi.1009657.ref029","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1038\/s41559-017-0101","article-title":"The multilayer nature of ecological networks","volume":"1","author":"S Pilosof","year":"2017","journal-title":"Nature Ecology & Evolution"},{"issue":"3","key":"pcbi.1009657.ref030","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.tree.2010.12.007","article-title":"Four opportunities for studies of ecological succession","volume":"26","author":"K Prach","year":"2011","journal-title":"Trends in Ecology & Evolution"},{"key":"pcbi.1009657.ref031","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-12-547201-2.50008-X","volume-title":"Systems Analysis and Simulation in Ecology","author":"BC Patten","year":"1971"},{"issue":"1","key":"pcbi.1009657.ref032","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF02390895","article-title":"Successive mapping of dune slack vegetation","volume":"29","author":"G Londo","year":"1974","journal-title":"Vegetatio"},{"issue":"2","key":"pcbi.1009657.ref033","doi-asserted-by":"crossref","first-page":"202","DOI":"10.5558\/tfc2014-039","article-title":"Boreal mixedwood stand dynamics: ecological processes underlying multiple pathways","volume":"90","author":"Y Bergeron","year":"2014","journal-title":"Forestry Chronicle"},{"key":"pcbi.1009657.ref034","unstructured":"Caudle D. Interagency ecological site handbook for rangelands. US Department of the Interior, Bureau of Land Management; 2013. Available from: https:\/\/jornada.nmsu.edu\/sites\/jornada.nmsu.edu\/files\/InteragencyEcolSiteHandbook.pdf."},{"issue":"6","key":"pcbi.1009657.ref035","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/j.rala.2016.10.001","article-title":"Improving the Effectiveness of Ecological Site Descriptions: General State-and-Transition Models and the Ecosystem Dynamics Interpretive Tool (EDIT)","volume":"38","author":"BT Bestelmeyer","year":"2016","journal-title":"Rangelands"},{"key":"pcbi.1009657.ref036","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/j.catena.2017.02.009","article-title":"State-and-transition models in geomorphology","volume":"153","author":"JD Phillips","year":"2017","journal-title":"CATENA"},{"key":"pcbi.1009657.ref037","doi-asserted-by":"crossref","first-page":"102862","DOI":"10.1016\/j.agsy.2020.102862","article-title":"Assessing resilience and adaptability in agroecological transitions","volume":"184","author":"P Tittonell","year":"2020","journal-title":"Agricultural Systems"},{"issue":"1","key":"pcbi.1009657.ref038","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.ecolmodel.2005.11.014","article-title":"Modelling population and community dynamics with qualitative reasoning","volume":"195","author":"P Salles","year":"2006","journal-title":"Ecological Modelling"},{"key":"pcbi.1009657.ref039","doi-asserted-by":"crossref","first-page":"101220","DOI":"10.1016\/j.ecoser.2020.101220","article-title":"Maintaining biodiversity promotes the multifunctionality of social-ecological systems: holistic modelling of a mountain system","volume":"47","author":"Z Mao","year":"2021","journal-title":"Ecosystem Services"},{"issue":"1","key":"pcbi.1009657.ref040","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1073\/pnas.1008204108","article-title":"A network model for plant\u2013pollinator community assembly","volume":"108","author":"C Campbell","year":"2011","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"1","key":"pcbi.1009657.ref041","doi-asserted-by":"crossref","first-page":"75","DOI":"10.30707\/LiB3.1Robeva","article-title":"The spruce budworm and forest: a qualitative comparison of ODE and Boolean models","volume":"3","author":"R Robeva","year":"2016","journal-title":"Letters in Biomathematics"},{"issue":"1","key":"pcbi.1009657.ref042","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3800(89)90066-5","article-title":"Artificial intelligence and expert systems in ecology and natural resource management","volume":"46","author":"EJ Rykiel","year":"1989","journal-title":"Ecological Modelling"},{"issue":"8","key":"pcbi.1009657.ref043","doi-asserted-by":"crossref","first-page":"601","DOI":"10.2307\/1311300","article-title":"Qualitative, Rule-Based Modeling","volume":"40","author":"AM Starfield","year":"1990","journal-title":"BioScience"},{"issue":"9","key":"pcbi.1009657.ref044","doi-asserted-by":"crossref","first-page":"1615","DOI":"10.1111\/2041-210X.13242","article-title":"Using discrete systems to exhaustively characterize the dynamics of an integrated ecosystem","volume":"10","author":"C Gaucherel","year":"2019","journal-title":"Methods in Ecology and Evolution"},{"key":"pcbi.1009657.ref045","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","author":"EM Clarke","year":"2018"},{"issue":"4","key":"pcbi.1009657.ref046","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1016\/j.ecocom.2011.07.004","article-title":"The structure of ecological state transitions: Amplification, synchronization, and constraints in responses to environmental change","volume":"8","author":"JD Phillips","year":"2011","journal-title":"Ecological Complexity"},{"key":"pcbi.1009657.ref047","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008"},{"key":"pcbi.1009657.ref048","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC. Patterns in property specifications for finite-state verification. In: Proceedings of the 21st international conference on Software engineering. ICSE\u201999. New York, NY, USA: Association for Computing Machinery; 1999. p. 411\u2013420. Available from: https:\/\/doi.org\/10.1145\/302405.302672.","DOI":"10.1145\/302405.302672"},{"issue":"16","key":"pcbi.1009657.ref049","doi-asserted-by":"crossref","first-page":"i227","DOI":"10.1093\/bioinformatics\/btn275","article-title":"Temporal logic patterns for querying dynamic models of cellular interaction networks","volume":"24","author":"PT Monteiro","year":"2008","journal-title":"Bioinformatics"},{"key":"pcbi.1009657.ref050","unstructured":"Python Software Foundation. The Python language;. Available from: http:\/\/www.python.org."},{"issue":"7732","key":"pcbi.1009657.ref051","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1038\/d41586-018-07196-1","article-title":"Why Jupyter is data scientists\u2019 computational notebook of choice","volume":"563","author":"JM Perkel","year":"2018","journal-title":"Nature"},{"key":"pcbi.1009657.ref052","doi-asserted-by":"crossref","first-page":"e7163920","DOI":"10.1155\/2020\/7163920","article-title":"Understanding Ecosystem Complexity via Application of a Process-Based State Space rather than a Potential Surface","volume":"2020","author":"C Gaucherel","year":"2020","journal-title":"Complexity"},{"key":"pcbi.1009657.ref053","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-030-46970-2_12","volume-title":"Biomedical Engineering Systems and Technologies","author":"C Di Giusto","year":"2020"},{"key":"pcbi.1009657.ref054","doi-asserted-by":"crossref","first-page":"101205","DOI":"10.1016\/j.ecoinf.2020.101205","article-title":"Discrete-event models for conservation assessment of integrated ecosystems","volume":"61","author":"C Gaucherel","year":"2021","journal-title":"Ecological Informatics"},{"issue":"1","key":"pcbi.1009657.ref055","doi-asserted-by":"crossref","first-page":"42","DOI":"10.3390\/land11010042","article-title":"Qualitative Modeling for Bridging Expert-Knowledge and Social-Ecological Dynamics of an East African Savanna","volume":"11","author":"M Cosme","year":"2022","journal-title":"Land"},{"key":"pcbi.1009657.ref056","doi-asserted-by":"crossref","unstructured":"Pommereau F, Thomas C, Gaucherel C. Petri nets semantics of Reaction Rules (RR). In: Proc. of PETRINETS\u201922. vol. to appear of LNCS. Springer; 2022.","DOI":"10.1007\/978-3-031-06653-5_10"},{"key":"pcbi.1009657.ref057","unstructured":"Thierry-Mieg Y. Homepage of ITS-tools;. Available from: http:\/\/lip6.github.io\/ITSTools-web."},{"key":"pcbi.1009657.ref058","first-page":"231","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science","author":"Y Thierry-Mieg","year":"2015"},{"key":"pcbi.1009657.ref059","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-48068-4_8","volume-title":"Application and Theory of Petri Nets 2002. Lecture Notes in Computer Science","author":"JM Couvreur","year":"2002"},{"key":"pcbi.1009657.ref060","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-319-10575-8_7","volume-title":"Handbook of Model Checking","author":"RE Bryant","year":"2018"},{"issue":"2","key":"pcbi.1009657.ref061","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","article-title":"Symbolic model checking: 1020 States and beyond","volume":"98","author":"JR Burch","year":"1992","journal-title":"Information and Computation"},{"key":"pcbi.1009657.ref062","doi-asserted-by":"crossref","first-page":"e103","DOI":"10.7717\/peerj-cs.103","article-title":"SymPy: symbolic computing in Python","volume":"3","author":"A Meurer","year":"2017","journal-title":"PeerJ Computer Science"},{"key":"pcbi.1009657.ref063","first-page":"12","volume-title":"Subsistence Agriculture & Economic Development","author":"CR Wharton","year":"1969"},{"key":"pcbi.1009657.ref064","first-page":"149","volume-title":"Computational Methods in Systems Biology. Lecture Notes in Computer Science","author":"N Chabrier","year":"2003"},{"issue":"3","key":"pcbi.1009657.ref065","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1111\/j.1365-2486.2008.01754.x","article-title":"What limits fire? An examination of drivers of burnt area in Southern Africa","volume":"15","author":"S Archibald","year":"2009","journal-title":"Global Change Biology"},{"issue":"02b","key":"pcbi.1009657.ref066","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1142\/S0219720007002850","article-title":"Symbolic modeling of genetic regulatory networks","volume":"05","author":"D Mateus","year":"2007","journal-title":"Journal of Bioinformatics and Computational Biology"},{"issue":"7","key":"pcbi.1009657.ref067","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1093\/bioinformatics\/btv013","article-title":"Cooperative development of logical modelling standards and tools with CoLoMoTo","volume":"31","author":"the Consortium for Logical Models and Tools","year":"2015","journal-title":"Bioinformatics"},{"issue":"6","key":"pcbi.1009657.ref068","doi-asserted-by":"crossref","first-page":"1714","DOI":"10.1002\/ldr.2978","article-title":"The sheep in wolf\u2019s clothing? Recognizing threats for land degradation in Iceland using state-and-transition models","volume":"29","author":"IC Barrio","year":"2018","journal-title":"Land Degradation & Development"},{"issue":"4","key":"pcbi.1009657.ref069","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/s12080-013-0182-8","article-title":"Global versus local extinction in a network model of plant\u2013pollinator communities","volume":"6","author":"T LaBar","year":"2013","journal-title":"Theoretical Ecology"},{"key":"pcbi.1009657.ref070","doi-asserted-by":"crossref","first-page":"155","DOI":"10.3389\/fpls.2012.00155","article-title":"An overview of existing modeling tools making use of model checking in the analysis of biochemical networks","volume":"3","author":"M Carrillo","year":"2012","journal-title":"Frontiers in Plant Science"},{"key":"pcbi.1009657.ref071","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-1-61779-361-5_23","volume-title":"Bacterial Molecular Networks: Methods and Protocols. Methods in Molecular Biology","author":"C Chaouiya","year":"2012"},{"issue":"1","key":"pcbi.1009657.ref072","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01867067","article-title":"Predicting the multiple pathways of plant succession","volume":"3","author":"PJ Cattelino","year":"1979","journal-title":"Environmental Management"},{"key":"pcbi.1009657.ref073","unstructured":"Pettersson P. Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice [PhD Thesis]. Uppsala University, Department of Computer Systems; 1999."},{"issue":"2","key":"pcbi.1009657.ref074","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"R Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"pcbi.1009657.ref075","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG. A Tutorial on Uppaal. In: Bernardo M, Corradini F, editors. Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures. Berlin, Heidelberg: Springer; 2004. p. 200\u2013236. Available from: https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7.","DOI":"10.1007\/978-3-540-30080-9_7"}],"updated-by":[{"DOI":"10.1371\/journal.pcbi.1009657","type":"new_version","label":"New version","source":"publisher","updated":{"date-parts":[[2022,6,16]],"date-time":"2022-06-16T00:00:00Z","timestamp":1655337600000}}],"container-title":["PLOS Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1009657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,16]],"date-time":"2022-06-16T14:00:21Z","timestamp":1655388021000},"score":1,"resource":{"primary":{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1009657"}},"subtitle":[],"editor":[{"given":"Samuel V.","family":"Scarpino","sequence":"first","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2022,6,6]]},"references-count":75,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,6,6]]}},"URL":"https:\/\/doi.org\/10.1371\/journal.pcbi.1009657","relation":{"has-preprint":[{"id-type":"doi","id":"10.1101\/2021.11.19.469210","asserted-by":"object"}]},"ISSN":["1553-7358"],"issn-type":[{"value":"1553-7358","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,6]]}}}