{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T06:14:32Z","timestamp":1744784072240,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":91,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9780387758886"},{"type":"electronic","value":"9780387304403"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-30440-3_10","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T16:23:31Z","timestamp":1245255811000},"page":"160-176","source":"Crossref","is-referenced-by-count":12,"title":["Agent Based Modeling, Mathematical Formalism for"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Laubenbacher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul S.","family":"Jarrah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning S.","family":"Mortveit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.S.","family":"Ravi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"10_CR1_10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/99.683737","volume":"5","author":"RL Bagrodia","year":"1998","unstructured":"Bagrodia RL (1998)Parallel languages for discrete-event simulation models.IEEE Comput Sci Eng 5(2):27\u201338","journal-title":"IEEE Comput Sci Eng"},{"key":"10_CR2_10","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0096-3003(97)10166-7","volume":"98","author":"CL Barrett","year":"1999","unstructured":"Barrett CL, Reidys CM (1999)Elements of a\u00a0theory of simulation I: Sequential CA over random graphs.Appl Math Comput 98:241\u2013259","journal-title":"Appl Math Comput"},{"issue":"2\u20133","key":"10_CR3_10","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0096-3003(98)10114-5","volume":"107","author":"CL Barrett","year":"2000","unstructured":"Barrett CL, Mortveit HS, Reidys CM (2000)Elements of a\u00a0theory of simulation II: Sequential dynamical systems.Appl Math Comput 107(2\u20133):121\u2013136","journal-title":"Appl Math Comput"},{"key":"10_CR4_10","doi-asserted-by":"crossref","unstructured":"Barrett CL, Hunt III HB, Marathe MV, Ravi SS, Rosenkrantz DJ, Stearns RE, Tosic P (2001)Garden of eden and fixed point configurations in sequential dynamical systems.In: Proc International Conference on Combinatorics, Computation and Geometry DM-CCG'2001.pp\u00a095\u2013110","DOI":"10.46298\/dmtcs.2294"},{"key":"10_CR5_10","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0096-3003(00)00042-4","volume":"122","author":"CL Barrett","year":"2001","unstructured":"Barrett CL, Mortveit HS, Reidys CM (2001)Elements of a\u00a0theory of simulation III: Equivalence of SDS.Appl Math Comput 122:325\u2013340","journal-title":"Appl Math Comput"},{"key":"10_CR6_10","doi-asserted-by":"crossref","unstructured":"Barrett CL, Marathe MV, Smith JP, Ravi SS (2002)A\u00a0mobility and traffic generation framework for modeling and simulating ad hoc communicationnetworks.In: SAC'02 Madrid, ACM, pp\u00a0122\u2013126","DOI":"10.1145\/508814.508816"},{"issue":"4","key":"10_CR7_10","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s00026-003-0193-z","volume":"7","author":"CL Barrett","year":"2003","unstructured":"Barrett CL, Hunt III HB, Marathe MV, Ravi SS, Rosenkrantz DJ, Stearns RE(2003)On some special classes of sequential dynamical systems.Ann Comb 7(4):381\u2013408","journal-title":"Ann Comb"},{"issue":"1\u20133","key":"10_CR8_10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0304-3975(02)00395-X","volume":"295","author":"CL Barrett","year":"2003","unstructured":"Barrett CL, Hunt III HB, Marathe MV, Ravi SS, Rosenkrantz DJ, Stearns RE (2003) Reachability problems for sequential dynamical systems with threshold functions.Theor Comput Sci 295(1\u20133):41\u201364","journal-title":"Theor Comput Sci"},{"issue":"1","key":"10_CR9_10","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0096-3003(01)00277-6","volume":"134","author":"CL Barrett","year":"2003","unstructured":"Barrett CL, Mortveit HS, Reidys CM (2003)Elements of a\u00a0theory of computer simulation. IV. sequential dynamical systems: fixed points,invertibility and equivalence.Appl Math Comput 134(1):153\u2013171","journal-title":"Appl Math Comput"},{"key":"10_CR10_10","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1016\/j.jcss.2006.03.006","volume":"72","author":"CL Barrett","year":"2006","unstructured":"Barrett CL, Hunt III HB, Marathe MV, Ravi SS, Rosenkrantz DJ, Stearns RE (2006)Complexity of reachability problems for finite discrete sequential dynamical systems.J\u00a0Comput Syst Sci 72:1317\u20131345","journal-title":"J Comput Syst Sci"},{"key":"10_CR11_10","unstructured":"Barrett CL, Hunt III HB, Marathe MV, Ravi SS, Rosenkrantz DJ, Stearns RE, Thakur M (2007)Computational aspects of analyzing social network dynamics.In: Proc International Joint Conference on Artificial Intelligence IJCAI 2007.pp\u00a02268\u20132273"},{"key":"10_CR12_10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2007.04.026","volume":"1-2","author":"CL Barrett","year":"2007","unstructured":"Barrett CL, Hunt III HB, Marathe MV, Ravi SS, Rosenkrantz DJ, Stearns RE,Thakur M (2007)Predecessor existence problems for finite discrete dynamical systems.Theor Comput Sci 1-2:3\u201337","journal-title":"Theor Comput Sci"},{"issue":"5","key":"10_CR13_10","first-page":"367","volume":"7","author":"R Bartlett","year":"1993","unstructured":"Bartlett R, Garzon M (1993)Monomial cellular automata.Complex Syst 7(5):367\u2013388","journal-title":"Complex Syst"},{"key":"10_CR14_10","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1046\/j.1440-1711.2002.01082.x","volume":"80","author":"M Bernaschi","year":"2002","unstructured":"Bernaschi M, Castiglione F (2002)Selection of escape mutants from immune recognition during hiv infection.Immunol Cell Biol 80:307\u2013313","journal-title":"Immunol Cell Biol"},{"key":"10_CR15_10","doi-asserted-by":"crossref","first-page":"1851","DOI":"10.1103\/PhysRevE.61.1851","volume":"61","author":"M Bernaschi","year":"2000","unstructured":"Bernaschi M, Succi S, Castiglione F (2000)Large-scale cellular automata simulations of the immune system response.Phys Rev E 61:1851\u20131854","journal-title":"Phys Rev E"},{"key":"10_CR16_10","volume-title":"Unified Modeling Language User Guide","author":"G Booch","year":"2005","unstructured":"Booch G, Rumbaugh J, Jacobson I (2005)Unified Modeling Language User Guide, 2nd edn.Addison-Wesley, Reading","edition":"2"},{"key":"10_CR17_10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand D, Zafiropulo P (1983)On communicating finite-state machines.J\u00a0ACM 30:323\u2013342","journal-title":"J ACM"},{"key":"10_CR18_10","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0079468","volume-title":"Problemes combinatoires de commutation et re\u00e1rrangements. Lecture Notes in Mathematics","author":"P Cartier","year":"1969","unstructured":"Cartier P, Foata D (1969)Problemes combinatoires de commutation et re\u00e1rrangements.Lecture Notes in Mathematics, vol\u00a085. Springer, Berlin"},{"key":"10_CR19_10","volume-title":"Cancer modeling and simulation","author":"F Castiglione","year":"2003","unstructured":"Castiglione F, Agur Z (2003)Analyzing hypersensitivity to chemotherapy in a\u00a0cellular automata model of the immune system. In: Preziosi L (ed)Cancer modeling and simulation. Chapman and Hall\/CRC, London"},{"key":"10_CR20_10","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1142\/S0129183197000424","volume":"8","author":"F Castiglione","year":"1997","unstructured":"Castiglione F, Bernaschi M, Succi S (1997)Simulating the Immune Response on a\u00a0Distributed Parallel Computer.Int J Mod Phys C 8:527\u2013545; 10.1142\/S0129183197000424","journal-title":"Int J Mod Phys C"},{"issue":"11","key":"10_CR21_10","doi-asserted-by":"crossref","first-page":"1371","DOI":"10.1093\/bioinformatics\/btm044","volume":"23","author":"F Castiglione","year":"2007","unstructured":"Castiglione F, Duca K, Jarrah A, Laubenbacher R, Hochberg D, Thorley-Lawson D(2007)Simulating Epstein\u2013Barr virus infection with C-ImmSim.Bioinformatics 23(11):1371\u20131377","journal-title":"Bioinformatics"},{"issue":"2","key":"10_CR22_10","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/0167-5699(92)90135-T","volume":"13","author":"F Celada","year":"1992","unstructured":"Celada F, Seiden P (1992)A\u00a0computer model of cellular interactions in the immune syste.Immunol Today 13(2):56\u201362","journal-title":"Immunol Today"},{"key":"10_CR23_10","first-page":"235","volume":"158","author":"F Celada","year":"1992","unstructured":"Celada F, Seiden P (1992) A\u00a0model for simulating cognate recognition and response in the immune system.J\u00a0Theor Biol 158:235\u2013270","journal-title":"J Theor Biol"},{"issue":"6","key":"10_CR24_10","doi-asserted-by":"crossref","first-page":"1350","DOI":"10.1002\/eji.1830260626","volume":"26","author":"F Celada","year":"1996","unstructured":"Celada F, Seiden P (1996)Affinity maturation and hypermutation in a\u00a0simulation of the humoral immune response.Eur J Immunol 26(6):1350\u20131358","journal-title":"Eur J Immunol"},{"key":"10_CR25_10","unstructured":"Chaudhuri PP (1997)Additive Cellular Automata. Theory and Applications, vol\u00a01.IEEE Comput Soc Press"},{"key":"10_CR26_10","doi-asserted-by":"crossref","unstructured":"Col\u00f3n-Reyes O, Laubenbacher R, Pareigis B (2004)Boolean monomial dynamical systems.Ann Comb 8:425\u2013439","DOI":"10.1007\/s00026-004-0230-6"},{"key":"10_CR27_10","doi-asserted-by":"crossref","unstructured":"Col\u00f3n-Reyes O, Jarrah A, Laubenbacher R, Sturmfels B (2006)Monomial dynamical systems over finite fields.Complex Syst 16(4):333\u2013342","DOI":"10.25088\/ComplexSystems.16.4.333"},{"issue":"5","key":"10_CR28_10","doi-asserted-by":"crossref","first-page":"633","DOI":"10.4153\/CMB-1974-117-4","volume":"17","author":"D Dawson","year":"1974","unstructured":"Dawson D (1974)Synchronous and asynchronous reversible Markov systems.Canad Math Bull 17(5):633\u2013649","journal-title":"Canad Math Bull"},{"key":"10_CR29_10","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s12064-001-0019-7","volume":"120\u20133\/4","author":"W Ebeling","year":"2001","unstructured":"Ebeling W, Schweitzer F (2001)Swarms of particle agents with harmonic interactions.Theor Biosci 120\u20133\/4:207\u2013224","journal-title":"Theor Biosci"},{"key":"10_CR30_10","doi-asserted-by":"crossref","unstructured":"Elspas B (1959)The theory of autonomous linear sequential networks.IRE Trans Circuit Theor, pp\u00a045\u201360","DOI":"10.1109\/TCT.1959.1086506"},{"issue":"1\u20133","key":"10_CR31_10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0167-2789(86)90240-X","volume":"2","author":"J Farmer","year":"1986","unstructured":"Farmer J, Packard N, Perelson A (1986)The immune system, adaptation, and machine learning.Phys D 2(1\u20133):187\u2013204","journal-title":"Phys D"},{"key":"10_CR32_10","doi-asserted-by":"crossref","first-page":"1505","DOI":"10.1103\/PhysRevLett.56.1505","volume":"56","author":"U Frish","year":"1986","unstructured":"Frish U, Hasslacher B, Pomeau Y (1986)Lattice-gas automata for the Navier\u2013Stokes equations.Phys Rev Lett 56:1505\u20131508","journal-title":"Phys Rev Lett"},{"key":"10_CR33_10","doi-asserted-by":"crossref","unstructured":"Fuk\u015b H (2004)Probabilistic cellular automata with conserved quantities.Nonlinearity 17:159\u2013173","DOI":"10.1088\/0951-7715\/17\/1\/010"},{"issue":"1","key":"10_CR34_10","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1016\/j.amc.2005.04.101","volume":"174","author":"LD Garcia","year":"2006","unstructured":"Garcia LD, Jarrah AS, Laubenbacher R (2006)Sequential dynamical systems over words.Appl Math Comput 174(1):500\u2013510","journal-title":"Appl Math Comput"},{"key":"10_CR35_10","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","volume":"223","author":"M Gardner","year":"1970","unstructured":"Gardner M (1970)The fantastic combinations of John Conway's new solitaire game \u201clife\u201d.Sci Am 223:120\u2013123","journal-title":"Sci Am"},{"key":"10_CR36_10","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/5001.5002","volume":"8","author":"M Gouda","year":"1986","unstructured":"Gouda M, Chang C (1986)Proving liveness for networks of communicating finite-state machines.ACM Trans Program Lang Syst 8:154\u2013182","journal-title":"ACM Trans Program Lang Syst"},{"key":"10_CR37_10","doi-asserted-by":"crossref","unstructured":"Guo Y, Gong W, Towsley D (2000)Time-stepped hybrid simulation (tshs) for large scale networks.In: INFOCOM 2000. Nineteenth Annual Joint Conference of theIEEE Computer and Communications Societies.Proc. IEEE, vol\u00a02. pp\u00a0441\u2013450","DOI":"10.1109\/INFCOM.2000.832217"},{"key":"10_CR38_10","doi-asserted-by":"crossref","first-page":"4069","DOI":"10.1088\/0305-4470\/38\/19\/002","volume":"38","author":"A Gupta","year":"2005","unstructured":"Gupta A, Katiyar V (2005)Analyses of shock waves and jams in traffic flow.J\u00a0Phys A 38:4069\u20134083","journal-title":"J Phys A"},{"key":"10_CR39_10","doi-asserted-by":"crossref","unstructured":"Hansson A\u00c5, Mortveit HS, Reidys CM (2005)On asynchronous cellular automata.Adv Complex Syst 8(4):521\u2013538","DOI":"10.1142\/S0219525905000555"},{"key":"10_CR40_10","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/BF01691062","volume":"3","author":"G Hedlund","year":"1969","unstructured":"Hedlund G (1969)Endomorphisms and automorphisms of the shift dynamical system.Math Syst Theory 3:320\u2013375","journal-title":"Math Syst Theory"},{"key":"10_CR41_10","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez-Toledo A (2005)Linear finite dynamical systems.Commun Algebra 33(9):2977\u20132989","DOI":"10.1081\/AGB-200066211"},{"key":"10_CR42_10","doi-asserted-by":"crossref","unstructured":"Hopfield J (1982)Neural networks and physical systems with emergent collective computational properties.Proc National Academy of Sciences of the USA79:2554\u20132588","DOI":"10.1073\/pnas.79.8.2554"},{"key":"10_CR43_10","doi-asserted-by":"crossref","DOI":"10.1142\/4702","volume-title":"Cellular Automata: A Discrete Universe","author":"A Ilachinsky","year":"2001","unstructured":"Ilachinsky A (2001)Cellular Automata: A\u00a0Discrete Universe.World Scientific, Singapore"},{"key":"10_CR44_10","unstructured":"Jarrah A, Laubenbacher R, Stillman M, Vera-Licona P (2007)An efficient algorithm for the phase space structure of linear dynamical systems overfinite fields. (submitted)"},{"issue":"3","key":"10_CR45_10","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"DR Jefferson","year":"1985","unstructured":"Jefferson DR (1985)Virtual time.ACM Trans Program Lang Syst 7(3):404\u2013425","journal-title":"ACM Trans Program Lang Syst"},{"key":"10_CR46_10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2004.11.021","volume":"334","author":"J Kari","year":"2005","unstructured":"Kari J (2005)Theory of cellular automata: A\u00a0survey.Theor Comput Sci 334:3\u201333","journal-title":"Theor Comput Sci"},{"key":"10_CR47_10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1090\/stml\/026\/06","volume":"26","author":"BL Keyfitz","year":"2004","unstructured":"Keyfitz BL (2004)Hold that light! modeling of traffic flow by differential equations.Stud Math Libr 26:127\u2013153","journal-title":"Stud Math Libr"},{"key":"10_CR48_10","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/S0196-8858(02)00554-7","volume":"30","author":"R Laubenbacher","year":"2003","unstructured":"Laubenbacher R, Pareigis B (2003)Decomposition and simulation of sequential dynamical systems.Adv Appl Math 30:655\u2013678","journal-title":"Adv Appl Math"},{"key":"10_CR49_10","volume-title":"Finite Fields","author":"R Lidl","year":"1997","unstructured":"Lidl R, Niederreiter H (1997)Finite Fields. Cambridge University Press, Cambridge"},{"key":"10_CR50_10","doi-asserted-by":"crossref","DOI":"10.1007\/b138374","volume-title":"Interacting particle systems. Classics in Mathematics","author":"TM Liggett","year":"2005","unstructured":"Liggett TM (2005)Interacting particle systems. Classics in Mathematics.Springer, Berlin. Reprint of the 1985 original"},{"key":"10_CR51_10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/0167-2789(84)90246-X","volume":"10D","author":"DA Lind","year":"1984","unstructured":"Lind DA (1984)Applications of ergodic theory and sofic systems to cellular automata.Physica D 10D:36\u201344","journal-title":"Physica D"},{"issue":"5\u20136","key":"10_CR52_10","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1023\/A:1023027932419","volume":"91","author":"K Lindgren","year":"1998","unstructured":"Lindgren K, Moore C, Nordahl M (1998)Complexity of two-dimensional patterns.J\u00a0Statistical Phys 91(5\u20136):909\u2013951","journal-title":"J Statistical Phys"},{"key":"10_CR53_10","volume-title":"Category Theory for the Working Mathematician, 2nd edn. No 5. in GTM","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane S (1998)Category Theory for the Working Mathematician,2nd edn. No 5. in GTM. Springer, New York"},{"key":"10_CR54_10","unstructured":"Macy MW, Kitts JA, Flache A (2003)Polarization in Dynamic Networks: A\u00a0Hopfield Model of EmergentStructure. In: Dynamic social network modeling and analysis. TheNational Academies Press, Washington D.C., pp\u00a0162\u2013173"},{"key":"10_CR55_10","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01223745","volume":"93","author":"O Martin","year":"1984","unstructured":"Martin O, Odlyzko A, Wolfram S (1984)Algebraic properties of cellular automata.Commun Math Phys 93:219\u2013258","journal-title":"Commun Math Phys"},{"issue":"2","key":"10_CR56_10","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1080\/09540099308915693","volume":"5","author":"D Milligan","year":"1993","unstructured":"Milligan D, Wilson M (1993)The behavior of affine boolean sequential networks.Connect Sci 5(2):153\u2013167","journal-title":"Connect Sci"},{"key":"10_CR57_10","unstructured":"Minar N, Burkhart R, Langton C, Manor A (1996)The swarm simulation system: A\u00a0toolkit for building multi-agent simulations. Santa Fe Institute preprint series. http:\/\/www.santafe.edu\/research\/publications\/wpabstract\/199606042 Accessed 11 Aug 2008"},{"issue":"1","key":"10_CR58_10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/6462.6485","volume":"18","author":"J Misra","year":"1986","unstructured":"Misra J (1986)Distributed discrete-event simulation.ACM Comput Surv 18(1):39\u201365","journal-title":"ACM Comput Surv"},{"key":"10_CR59_10","unstructured":"Moncion T, Hutzler G, Amar P (2006)Verification of biochemical agent-based models using petri nets. In: Robert T (ed)International Symposium on Agent Based Modeling and Simulation, ABModSim'06, Austrian Society for Cybernetics Studies, pp\u00a0695\u2013700;http:\/\/www.ibisc.univ-evry.fr\/pub\/basilic\/OUT\/Publications\/2006\/MHA06"},{"key":"10_CR60_10","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/intimm\/7.4.505","volume":"7","author":"D Morpurgo","year":"1995","unstructured":"Morpurgo D, Serentha R, Seiden P, Celada F (1995)Modelling thymic functions in a\u00a0cellular automaton.Int Immunol 7:505\u2013516","journal-title":"Int Immunol"},{"key":"10_CR61_10","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0012-365X(00)00115-1","volume":"226","author":"HS Mortveit","year":"2001","unstructured":"Mortveit HS, Reidys CM (2001) Discrete, sequential dynamical systems.Discret Math 226:281\u2013295","journal-title":"Discret Math"},{"issue":"1","key":"10_CR62_10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0219525904000032","volume":"7","author":"HS Mortveit","year":"2004","unstructured":"Mortveit HS, Reidys CM (2004)Reduction of discrete dynamical systems over graphs.Adv Complex Syst 7(1):1\u201320","journal-title":"Adv Complex Syst"},{"key":"10_CR63_10","first-page":"2221","volume":"2","author":"K Nagel","year":"1992","unstructured":"Nagel K, Schreckenberg M (1992)A\u00a0cellular automaton model for freeway traffic.J\u00a0Phys I 2:2221\u20132229","journal-title":"J Phys I"},{"key":"10_CR64_10","unstructured":"Nagel K, Wagner P (2006)Traffic Flow: Approaches to Modelling and Control.Wiley"},{"key":"10_CR65_10","doi-asserted-by":"crossref","first-page":"2939","DOI":"10.1103\/PhysRevE.51.2909","volume":"51","author":"K Nagel","year":"1995","unstructured":"Nagel K, Schreckenberg M, Schadschneider A, Ito N (1995)Discrete stochastic models for traffic flow.Phys Rev E 51:2939\u20132949","journal-title":"Phys Rev E"},{"key":"10_CR66_10","doi-asserted-by":"crossref","first-page":"380","DOI":"10.2172\/459884","volume-title":"Large-scale traffic simulation. Lecture notes in computer science","author":"K Nagel","year":"1997","unstructured":"Nagel K, Rickert M, Barrett CL (1997)Large-scale traffic simulation.Lecture notes in computer science, vol\u00a01215. Springer, Berlin, pp\u00a0380\u2013402"},{"key":"10_CR67_10","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/155360.155368","volume":"28","author":"RE Nance","year":"1993","unstructured":"Nance RE (1993)A\u00a0history of discrete event simulation programming languages.ACM SIGPLAN Notices 28:149\u2013175","journal-title":"ACM SIGPLAN Notices"},{"key":"10_CR68_10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1122012.1122013","volume":"16","author":"MJ North","year":"2006","unstructured":"North MJ, Collier NT, Vos JR (2006)Experiences creating three implementations of the repast agent modeling toolkit.ACM Trans Modeling Comput Simulation 16:1\u201325","journal-title":"ACM Trans Modeling Comput Simulation"},{"key":"10_CR69_10","first-page":"94","volume":"1","author":"P Orponen","year":"1994","unstructured":"Orponen P (1994)Computational complexity of neural networks: A\u00a0survey.Nordic J Comput 1:94\u2013110","journal-title":"Nordic J Comput"},{"key":"10_CR70_10","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1162\/neco.1996.8.2.403","volume":"8","author":"P Orponen","year":"1996","unstructured":"Orponen P (1996)The computational power of discrete hopfield networks with hidden units.Neural Comput 8:403\u2013415","journal-title":"Neural Comput"},{"key":"10_CR71_10","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/0167-2789(86)90068-0","volume":"19D","author":"JK Park","year":"1986","unstructured":"Park JK, Steiglitz K, Thruston WP (1986)Soliton-like behavior in automata.Physica D 19D:423\u2013432","journal-title":"Physica D"},{"key":"10_CR72_10","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1006\/aama.1998.0595","volume":"21","author":"C Reidys","year":"1998","unstructured":"Reidys C (1998)Acyclic Orientations of Random Graphs.Adv Appl Math 21:181\u2013192","journal-title":"Adv Appl Math"},{"key":"10_CR73_10","doi-asserted-by":"crossref","first-page":"790","DOI":"10.1006\/aama.2001.0761","volume":"27","author":"CM Reidys","year":"2001","unstructured":"Reidys CM (2001)On acyclic orientations and sequential dynamical systems.Adv Appl Math 27:790\u2013804","journal-title":"Adv Appl Math"},{"issue":"2\u20133","key":"10_CR74_10","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.disc.2005.03.013","volume":"296","author":"CM Reidys","year":"2005","unstructured":"Reidys CM (2005)On Certain Morphisms of Sequential Dynamical Systems.Discret Math 296(2\u20133):245\u2013257","journal-title":"Discret Math"},{"issue":"4","key":"10_CR75_10","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/s00026-006-0301-y","volume":"10","author":"CM Reidys","year":"2006","unstructured":"Reidys CM (2006)Sequential dynamical systems over words.Ann Combinatorics 10(4):481\u2013498","journal-title":"Ann Combinatorics"},{"key":"10_CR76_10","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1016\/0378-4371(95)00442-4","volume":"231","author":"M Rickert","year":"1996","unstructured":"Rickert M, Nagel K, Schreckenberg M, Latour A (1996)Two lane traffic simulations using cellular automata.Physica A 231:534\u2013550","journal-title":"Physica A"},{"key":"10_CR77_10","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1190\/1.1442482","volume":"53","author":"DH Rothman","year":"1988","unstructured":"Rothman DH (1988)Cellular-automaton fluids: A\u00a0model for flow in porous media.Geophysics 53:509\u2013518","journal-title":"Geophysics"},{"key":"10_CR78_10","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2003","unstructured":"Russell S, Norwig P (2003)Artificial Intelligence: A\u00a0Modern Approach.Prentice-Hall, Upper Saddle River"},{"key":"10_CR79_10","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nfisch B, de\u00a0Roos A (1999)Synchronous and asynchronous updating in cellular automata.BioSystems 51:123\u2013143","DOI":"10.1016\/S0303-2647(99)00025-8"},{"issue":"2","key":"10_CR80_10","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1093\/bioinformatics\/18.2.261","volume":"18","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich I, Dougherty ER, Kim S, Zhang W (2002)Probabilistic boolean networks: A\u00a0rule-based uncertainty model for gene regulatory networks. Bioinformatics 18(2):261\u2013274","journal-title":"Bioinformatics"},{"issue":"11","key":"10_CR81_10","doi-asserted-by":"crossref","first-page":"1778","DOI":"10.1109\/JPROC.2002.804686","volume":"90","author":"I Shmulevich","year":"2002","unstructured":"Shmulevich I, Dougherty ER, Zhang W (2002)From boolean to probabilistic boolean networks as models of genetic regulatory networks.Proc IEEE 90(11):1778\u20131792","journal-title":"Proc IEEE"},{"key":"10_CR82_10","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"1997","unstructured":"Sipser M (1997)Introduction to the Theory of Computation.PWS Publishing Co, Boston"},{"issue":"3","key":"10_CR83_10","first-page":"64","volume":"5","author":"L Vasershtein","year":"1969","unstructured":"Vasershtein L (1969)Markov processes over denumerable products of spaces describing large system of automata.Probl Peredachi Informatsii 5(3):64\u201372","journal-title":"Probl Peredachi Informatsii"},{"volume-title":"Theory of Self\u2010Reproducing Automata","year":"1966","key":"10_CR84_10","unstructured":"von Neumann J, Burks AW (ed) (1966)Theory of Self\u2010Reproducing Automata. University of Illinois Press, Champaign"},{"key":"10_CR85_10","doi-asserted-by":"crossref","DOI":"10.1002\/9781118032954","volume-title":"Linear and Nonlinear Waves, reprint edition edn. Pure and Applied Mathematics: A Wiley\u2010Interscience Series of Texts, Monographs and Tracts","author":"G Whitham","year":"1999","unstructured":"Whitham G (1999)Linear and Nonlinear Waves, reprint edition edn. Pure and Applied Mathematics: A\u00a0Wiley\u2010Interscience Series of Texts, Monographs and Tracts, Wiley-Interscience, New York"},{"key":"10_CR86_10","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1103\/RevModPhys.55.601","volume":"55","author":"S Wolfram","year":"1983","unstructured":"Wolfram S (1983)Statistical mechanics of cellular automata.Rev Mod Phys 55:601\u2013644","journal-title":"Rev Mod Phys"},{"key":"10_CR87_10","volume-title":"Theory and Applications of Cellular Automata, Advanced Series on Complex Systems","author":"S Wolfram","year":"1986","unstructured":"Wolfram S (1986)Theory and Applications of Cellular Automata, Advanced Series on Complex Systems, vol\u00a01.World Scientific Publishing Company, Singapore"},{"key":"10_CR88_10","volume-title":"A New Kind of Science","author":"S Wolfram","year":"2002","unstructured":"Wolfram S (2002)A\u00a0New Kind of Science.Wolfram Media, Champaign"},{"key":"10_CR89_10","volume-title":"Automata Theory, Languages and Computation","author":"JE Hopcroft","year":"2000","unstructured":"Hopcroft JE, Motwani R, Ullman JD (2000)Automata Theory, Languages and Computation.Addison Wesley, Reading"},{"key":"10_CR90_10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1844-9","volume-title":"Automata and Computability","author":"DC Kozen","year":"1997","unstructured":"Kozen DC (1997)Automata and Computability.Springer, New York"},{"key":"10_CR91_10","volume-title":"Introduction to Multiagent Systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge M (2002)Introduction to Multiagent Systems.Wiley, Chichester"}],"container-title":["Encyclopedia of Complexity and Systems Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-30440-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T05:50:50Z","timestamp":1739166650000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-30440-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387758886","9780387304403"],"references-count":91,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-30440-3_10","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}