{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T11:11:19Z","timestamp":1779448279906,"version":"3.53.1"},"reference-count":29,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T00:00:00Z","timestamp":1773446400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100018693","name":"Horizon Europe","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"French National Research Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1016\/j.tcs.2026.115879","type":"journal-article","created":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T16:31:18Z","timestamp":1773073878000},"page":"115879","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["There is no prime functional digraph: Seifert\u2019s proof revisited"],"prefix":"10.1016","volume":"1072","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3360-5869","authenticated-orcid":false,"given":"Adrien","family":"Richard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2026.115879_bib0001","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","article-title":"Metabolic stability and epigenesis in randomly connected nets","volume":"22","author":"Kauffman","year":"1969","journal-title":"J. Theor. Biol."},{"issue":"3","key":"10.1016\/j.tcs.2026.115879_bib0002","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","article-title":"Boolean formalization of genetic control circuits","volume":"42","author":"Thomas","year":"1973","journal-title":"J. Theor. Biol."},{"issue":"1","key":"10.1016\/j.tcs.2026.115879_bib0003","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1063\/1.1349893","article-title":"Multistationarity, the basis of cell differentiation and memory. II. logical analysis of regulatory networks in terms of feedback circuits","volume":"11","author":"Thomas","year":"2001","journal-title":"Chaos An Interdiscip. J. Nonlinear Sci."},{"key":"10.1016\/j.tcs.2026.115879_bib0004","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1089\/10665270252833208","article-title":"Modeling and simulation of genetic regulatory systems: a literature review","volume":"9","author":"Jong","year":"2002","journal-title":"J. Comput. Biol."},{"key":"10.1016\/j.tcs.2026.115879_bib0005","first-page":"113","article-title":"A logical calculus of the ideas immanent in nervous activity","volume":"5","author":"McCulloch","year":"1943","journal-title":"Bull. Math. Biol."},{"key":"10.1016\/j.tcs.2026.115879_bib0006","doi-asserted-by":"crossref","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","article-title":"Neural networks and physical systems with emergent collective computational abilities","volume":"79","author":"Hopfield","year":"1982","journal-title":"Proc. Natl. Acad. Sci."},{"key":"10.1016\/j.tcs.2026.115879_bib0007","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0304-3975(85)90057-X","article-title":"Dynamics of positive automata networks","volume":"41","author":"Goles","year":"1985","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20134","key":"10.1016\/j.tcs.2026.115879_bib0008","first-page":"263","article-title":"Reaction systems","volume":"75","author":"Ehrenfeucht","year":"2007","journal-title":"Fundam. Inf."},{"key":"10.1016\/j.tcs.2026.115879_bib0009","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF02579347","article-title":"On periodical behaviour in societies with symmetric influences","volume":"3","author":"Poljak","year":"1982","journal-title":"Combinatorica"},{"key":"10.1016\/j.tcs.2026.115879_bib0010","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0165-4896(83)90023-9","article-title":"Iterative behaviour of generalized majority functions","volume":"4","author":"Goles","year":"1982","journal-title":"Math. Soc. Sci."},{"key":"10.1016\/j.tcs.2026.115879_bib0011","series-title":"Biological Feedback","author":"Thomas","year":"1990"},{"key":"10.1016\/j.tcs.2026.115879_bib0012","series-title":"Neural and Automata Networks: Dynamical Behavior and Applications","author":"Goles","year":"1990"},{"key":"10.1016\/j.tcs.2026.115879_bib0013","series-title":"Workshop on the Theory and Application of Cryptographic Techniques","first-page":"329","article-title":"Random mapping statistics","author":"Flajolet","year":"1989"},{"key":"10.1016\/j.tcs.2026.115879_bib0014","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.jtbi.2018.11.028","article-title":"Positive and negative cycles in Boolean networks","volume":"463","author":"Richard","year":"2019","journal-title":"J. Theor. Biol."},{"issue":"1","key":"10.1016\/j.tcs.2026.115879_bib0015","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s11047-019-09732-y","article-title":"On the influence of the interaction graph on a finite dynamical system","volume":"19","author":"Gadouleau","year":"2020","journal-title":"Nat. Comput."},{"key":"10.1016\/j.tcs.2026.115879_bib0016","series-title":"Cellular Automata: 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17\u201321, 2018, Proceedings 13","first-page":"298","article-title":"Polynomial equations over finite, discrete-time dynamical systems","author":"Dennunzio","year":"2018"},{"key":"10.1016\/j.tcs.2026.115879_bib0017","series-title":"International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics","first-page":"119","article-title":"Solving equations on discrete dynamical systems","author":"Dennunzio","year":"2019"},{"key":"10.1016\/j.tcs.2026.115879_bib0018","unstructured":"C. Gaze-Maillot, A.E. Porreca, Profiles of dynamical systems and their algebra, arXiv: 2008.00843(2020)."},{"key":"10.1016\/j.tcs.2026.115879_bib0019","series-title":"Factorisation of Discrete Dynamical Systems","author":"Riva","year":"2022"},{"key":"10.1016\/j.tcs.2026.115879_bib0020","doi-asserted-by":"crossref","DOI":"10.1016\/j.jocs.2022.101932","article-title":"An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena","volume":"66","author":"Dennunzio","year":"2023","journal-title":"J. Comput. Sci."},{"key":"10.1016\/j.tcs.2026.115879_bib0021","series-title":"International Workshop on Cellular Automata and Discrete Complex Systems","first-page":"120","article-title":"Roots in the semiring of finite deterministic dynamical systems","author":"Dor\u00e9","year":"2024"},{"key":"10.1016\/j.tcs.2026.115879_bib0022","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2024.114514","article-title":"Decomposition and factorisation of transients in functional graphs","volume":"999","author":"Dor\u00e9","year":"2024","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.tcs.2026.115879_bib0023","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2024.114509","article-title":"Factorisation in the semiring of finite dynamical systems","volume":"998","author":"Naquin","year":"2024","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.tcs.2026.115879_bib0024","doi-asserted-by":"crossref","unstructured":"A. Dennunzio, E. Formenti, L. Margara, S. Riva, A note on solving basic equations over the semiring of functional digraphs, arXiv: 2402.16923(2024).","DOI":"10.46298\/dmtcs.14590"},{"key":"10.1016\/j.tcs.2026.115879_bib0025","doi-asserted-by":"crossref","unstructured":"A.E. Porreca, M. Rolland, Injectivity of polynomials over finite discrete dynamical systems, arXiv: 2502.02360(2025a).","DOI":"10.1007\/978-3-031-95908-0_27"},{"key":"10.1016\/j.tcs.2026.115879_bib0026","doi-asserted-by":"crossref","unstructured":"A.E. Porreca, M. Rolland, Solving \u201cpseudo-injective\u201d polynomial equations over finite dynamical systems, arXiv: 2504.06986(2025b).","DOI":"10.1007\/978-3-032-01570-9_12"},{"issue":"1","key":"10.1016\/j.tcs.2026.115879_bib0027","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s11047-026-10065-w","article-title":"Dividing sum of cycles in the semiring of functional digraphs","volume":"25","author":"Bridoux","year":"2026","journal-title":"Nat. Comput."},{"key":"10.1016\/j.tcs.2026.115879_bib0028","series-title":"Algorithms and Complexity of the Algebraic Analysis of Finite Discrete Dynamical Systems","author":"Dorigatti","year":"2017"},{"issue":"2","key":"10.1016\/j.tcs.2026.115879_bib0029","doi-asserted-by":"crossref","first-page":"187","DOI":"10.4064\/fm-70-2-187-203","article-title":"On prime binary relational structures","volume":"70","author":"Seifert","year":"1971","journal-title":"Fundam. Math."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526001386?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526001386?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T11:03:00Z","timestamp":1779447780000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397526001386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":29,"alternative-id":["S0304397526001386"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2026.115879","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2026,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"There is no prime functional digraph: Seifert\u2019s proof revisited","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2026.115879","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"115879"}}