{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:13:36Z","timestamp":1759364016925,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032015693","type":"print"},{"value":"9783032015709","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-01570-9_2","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:03:19Z","timestamp":1759276999000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Searching for\u00a0Attractors: To Infinity and\u00a0Beyond"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-12982-2_10","volume":"8859","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. Comput. Methods Syst. Biol. 8859, 129\u2013142 (2014)","journal-title":"Comput. Methods Syst. Biol."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11047-019-09748-4","volume":"19","author":"T Chatain","year":"2020","unstructured":"Chatain, T., Haar, S., Kol\u010d\u00e1k, J., Paulev\u00e9, L., Thakkar, A.: Concurrency in boolean networks. Nat. Comput. 19, 91\u2013109 (2020)","journal-title":"Nat. Comput."},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-19488-2_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"T Chatain","year":"2015","unstructured":"Chatain, T., Haar, S., Koutny, M., Schwoon, S.: Non-atomic transition firing in contextual nets. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 117\u2013136. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19488-2_6"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-319-92675-9_3","volume-title":"Cellular Automata and Discrete Complex Systems","author":"T Chatain","year":"2018","unstructured":"Chatain, T., Haar, S., Paulev\u00e9, L.: Boolean networks: beyond generalized asynchronicity. In: Baetens, J.M., Kutrib, M. (eds.) AUTOMATA 2018. LNCS, vol. 10875, pp. 29\u201342. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92675-9_3"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H de Jong","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"key":"2_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"issue":"14","key":"2_CR7","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faure","year":"2006","unstructured":"Faure, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), 124\u2013131 (2006)","journal-title":"Bioinformatics"},{"key":"2_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-031-61433-0_6","volume-title":"PETRI NETS 2024","author":"S Haar","year":"2024","unstructured":"Haar, S., Haddad, S.: On the expressive power of transfinite sequences for continuous Petri nets. In: Kristensen, L.M., van der Werf, J.M. (eds.) PETRI NETS 2024. LNCS, vol. 14628, pp. 109\u2013131. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-61433-0_6"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Haar, S., Kol\u010d\u00e1k, J.: Continuous petri nets faithfully fluidify most permissive boolean networks (2025). arXiv:2505.16683 [cs.DM]","DOI":"10.1007\/978-3-032-01436-8_6"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-44919-1_16","volume-title":"Applications and Theory of Petri Nets 2003","author":"J J\u00falvez","year":"2003","unstructured":"J\u00falvez, J., Recalde, L., Silva, M.: On reachability in autonomous continuous Petri net systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 221\u2013240. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_16"},{"issue":"21","key":"2_CR11","doi-asserted-by":"publisher","first-page":"11980","DOI":"10.1073\/pnas.2133841100","volume":"100","author":"S Mangan","year":"2003","unstructured":"Mangan, S., Alon, U.: Structure and function of the feed-forward loop network motif. Proc. Natl. Acad. Sci. 100(21), 11980\u201311985 (2003)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.biosystems.2013.05.007","volume":"113","author":"P Mart\u00ednez-Sosa","year":"2013","unstructured":"Mart\u00ednez-Sosa, P., Mendoza, L.: The regulatory network that controls the differentiation of t lymphocytes. Biosystems 113(2), 96\u2013103 (2013)","journal-title":"Biosystems"},{"issue":"4256","key":"2_CR13","first-page":"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(4256), 5 (2020)","journal-title":"Nat. Commun."},{"issue":"5","key":"2_CR14","doi-asserted-by":"publisher","DOI":"10.1088\/1478-3975\/9\/5\/055001","volume":"9","author":"R-S 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)","journal-title":"Phys. Biol."}],"container-title":["Lecture Notes in Computer Science","Cellular Automata and Discrete Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01570-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:03:21Z","timestamp":1759277001000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01570-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783032015693","9783032015709"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01570-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AUTOMATA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Cellular Automata and Discrete Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"automata2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/automata-wan-2025.univ-lille.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}