{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T00:17:18Z","timestamp":1721002638101},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T00:00:00Z","timestamp":1548028800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s11047-018-9723-9","type":"journal-article","created":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T15:02:33Z","timestamp":1548082953000},"page":"119-137","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Computing with chemical reaction networks: a tutorial"],"prefix":"10.1007","volume":"18","author":[{"given":"Robert","family":"Brijder","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,21]]},"reference":[{"key":"9723_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-1-4419-6766-4_1","volume-title":"Design and analysis of biomolecular circuits: engineering approaches to systems and synthetic biology","author":"DF Anderson","year":"2011","unstructured":"Anderson DF, Kurtz TG (2011) Continuous time Markov chain models for chemical reaction networks. In: Koeppl H, Setti G, di Bernardo M, Densmore D (eds) Design and analysis of biomolecular circuits: engineering approaches to systems and synthetic biology. Springer, New York, pp 3\u201342"},{"issue":"93","key":"9723_CR1","doi-asserted-by":"publisher","first-page":"20130943","DOI":"10.1098\/rsif.2013.0943","volume":"11","author":"DF Anderson","year":"2014","unstructured":"Anderson DF, Enciso GA, Johnston MD (2014) Stochastic analysis of biochemical reaction networks with absolute concentration robustness. J R Soc Interface 11(93):20130943","journal-title":"J R Soc Interface"},{"issue":"4","key":"9723_CR3","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s00446-005-0138-3","volume":"18","author":"D Angluin","year":"2006","unstructured":"Angluin D, Aspnes J, Diamadi Z, Fischer MJ, Peralta R (2006) Computation in networks of passively mobile finite-state sensors. Distrib Comput 18(4):235\u2013253","journal-title":"Distrib Comput"},{"issue":"4","key":"9723_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00446-007-0040-2","volume":"20","author":"D Angluin","year":"2007","unstructured":"Angluin D, Aspnes J, Eisenstat D, Ruppert E (2007) The computational power of population protocols. Distrib Comput 20(4):279\u2013304","journal-title":"Distrib Comput"},{"issue":"3","key":"9723_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s00446-008-0067-z","volume":"21","author":"D Angluin","year":"2008","unstructured":"Angluin D, Aspnes J, Eisenstat D (2008) Fast computation by population protocols with a leader. Distrib Comput 21(3):183\u2013199","journal-title":"Distrib Comput"},{"key":"9723_CR6","first-page":"98","volume":"93","author":"J Aspnes","year":"2007","unstructured":"Aspnes J, Ruppert E (2007) An introduction to population protocols. Bull EATCS 93:98\u2013117","journal-title":"Bull EATCS"},{"key":"9723_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-319-66799-7_15","volume-title":"Proceedings of the 23th international conference on DNA computing and molecular programming (DNA 23)","author":"S Badelt","year":"2017","unstructured":"Badelt S, Shin SW, Johnson RF, Dong Q, Thachuk C, Winfree E (2017) A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities. In: Brijder R, Qian L (eds) Proceedings of the 23th international conference on DNA computing and molecular programming (DNA 23), vol 10467. Lecture Notes in Computer Science. Springer, Berlin, pp 232\u2013248"},{"key":"9723_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44667-2_3","volume-title":"Lectures on formal methods and performance analysis","author":"G Balbo","year":"2000","unstructured":"Balbo G (2000) Introduction to stochastic Petri nets. In: Brinksma E, Hermanns H, Katoen J (eds) Lectures on formal methods and performance analysis, vol 2090. Lecture Notes in Computer Science. Springer, Berlin, pp 84\u2013155"},{"key":"9723_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-86501-4","volume-title":"Stochastic Petri nets: an introduction to the theory","author":"F Bause","year":"2002","unstructured":"Bause F, Kritzinger PS (2002) Stochastic Petri nets: an introduction to the theory, 2nd edn. Vieweg Verlag, Berlin","edition":"2"},{"key":"9723_CR10","unstructured":"Belleville A, Doty D, Soloveichik D (2017) Hardness of computing and approximating predicates and functions with leaderless population protocols. In: Chatzigiannakis I, Indyk P, Kuhn F, Muscholl A (eds) Proceedings of the 44th international colloquium on automata, languages, and programming (ICALP 2017), volume 80 of LIPIcs, Schloss Dagstuhl \u2013 Leibniz-Zentrum fuer Informatik, pp 141:1\u2013141:14"},{"issue":"3","key":"9723_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.jco.2006.12.005","volume":"23","author":"O Bournez","year":"2007","unstructured":"Bournez O, Campagnolo ML, Gra\u00e7a DS, Hainry E (2007) Polynomial differential equations compute all real computable functions on computable compact intervals. J Complex 23(3):317\u2013335","journal-title":"J Complex"},{"issue":"2","key":"9723_CR12","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11047-015-9506-5","volume":"15","author":"R Brijder","year":"2016","unstructured":"Brijder R (2016) Minimal output unstable configurations in chemical reaction networks and deciders. Nat Comput 15(2):235\u2013244","journal-title":"Nat Comput"},{"issue":"2","key":"9723_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11047-017-9612-7","volume":"16","author":"R Brijder","year":"2017","unstructured":"Brijder R (2017) Dominance and deficiency for Petri nets and chemical reaction networks. Nat Comput 16(2):285\u2013294","journal-title":"Nat Comput"},{"issue":"1","key":"9723_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s11047-017-9648-8","volume":"17","author":"R Brijder","year":"2018","unstructured":"Brijder R, Doty D, Soloveichik D (2018) Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks. Nat Comput 17(1):97\u2013108","journal-title":"Nat Comput"},{"issue":"1","key":"9723_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1162\/artl.2009.15.1.15101","volume":"15","author":"HJ Buisman","year":"2009","unstructured":"Buisman HJ, ten Eikelder HMM, Hilbers PAJ, Liekens AML (2009) Computing algebraic functions with biochemical reaction networks. Artif Life 15(1):5\u201319","journal-title":"Artif Life"},{"key":"9723_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-43994-5_3","volume-title":"Proceedings of the 22th international conference on DNA computing and molecular programming (DNA 22)","author":"L Cardelli","year":"2016","unstructured":"Cardelli L, Kwiatkowska M, Laurenti L (2016a) Programming discrete distributions with chemical reaction networks. In: Rondelez Y, Woods D (eds) Proceedings of the 22th international conference on DNA computing and molecular programming (DNA 22), vol 9818. Lecture Notes in Computer Science. Springer, pp 35\u201351"},{"key":"9723_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-43994-5_5","volume-title":"Proceedings of the 22th international conference on DNA computing and molecular programming (DNA 22)","author":"L Cardelli","year":"2016","unstructured":"Cardelli L, Kwiatkowska M, Whitby M (2016b) Chemical reaction network designs for asynchronous logic circuits. In: Rondelez Y, Woods D (eds) Proceedings of the 22th international conference on DNA computing and molecular programming (DNA 22), vol 9818. Lecture Notes in Computer Science. Springer, pp 67\u201381"},{"key":"9723_CR18","doi-asserted-by":"crossref","unstructured":"Cardoza E, Lipton RJ, Meyer AR (1976) Exponential space complete problems for Petri nets and commutative semigroups: preliminary report. In: Chandra AK, Wotschke D, Friedman EP, Harrison MA (eds) Proceedings of the 8th annual ACM Symposium on theory of computing (STOC 1976). ACM, pp 50\u201354","DOI":"10.1145\/800113.803630"},{"key":"9723_CR19","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proceedings of the 15th international conference on unconventional computation and natural computation (UCNC 2016)","author":"A Case","year":"2016","unstructured":"Case A, Lutz JH, Stull DM (2016) Reachability problems for continuous chemical reaction networks. In: Amos M, Condon A (eds) Proceedings of the 15th international conference on unconventional computation and natural computation (UCNC 2016), vol 9726. Lecture Notes in Computer Science. Springer, Berlin, pp 1\u201310"},{"key":"9723_CR23","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y-J Chen","year":"2013","unstructured":"Chen Y-J, Dalchau N, Srinivas N, Phillips A, Cardelli L, Soloveichik D, Seelig G (2013) Programmable chemical controllers made from DNA. Nat Nanotechnol 8:755\u2013762","journal-title":"Nat Nanotechnol"},{"issue":"4","key":"9723_CR21","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/s11047-013-9393-6","volume":"13","author":"H-L Chen","year":"2014","unstructured":"Chen H-L, Doty D, Soloveichik D (2014a) Deterministic function computation with chemical reaction networks. Nat Comput 13(4):517\u2013534","journal-title":"Nat Comput"},{"key":"9723_CR22","doi-asserted-by":"crossref","unstructured":"Chen H-L, Doty D, Soloveichik D (2014b) Rate-independent computation in continuous chemical reaction networks. In: Naor M (ed) Proceedings of the 5th conference on innovations in theoretical computer science (ITCS\u201914). ACM, pp 313\u2013326","DOI":"10.1145\/2554797.2554827"},{"issue":"5","key":"9723_CR20","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s00446-015-0255-6","volume":"30","author":"H-L Chen","year":"2017","unstructured":"Chen H-L, Cummings R, Doty D, Soloveichik D (2017) Speed faults in computation by chemical reaction networks. Distrib Comput 30(5):373\u2013390","journal-title":"Distrib Comput"},{"key":"9723_CR24","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook M, Soloveichik D, Winfree E, Bruck J (2009) Programmability of chemical reaction networks. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, Berlin, pp 543\u2013584"},{"issue":"2","key":"9723_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s11047-015-9501-x","volume":"15","author":"R Cummings","year":"2016","unstructured":"Cummings R, Doty D, Soloveichik D (2016) Probability 1 computation with chemical reaction networks. Nat Comput 15(2):245\u2013261","journal-title":"Nat Comput"},{"key":"9723_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"R David","year":"2010","unstructured":"David R, Alla H (2010) Discrete, continuous, and hybrid Petri nets, 2nd edn. Springer, Berlin","edition":"2"},{"issue":"1","key":"9723_CR27","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/060651100","volume":"49","author":"R Dirks","year":"2007","unstructured":"Dirks R, Bois J, Schaeffer J, Winfree E, Pierce N (2007) Thermodynamic analysis of interacting nucleic acid strands. SIAM Rev 49(1):65\u201388","journal-title":"SIAM Rev"},{"issue":"2","key":"9723_CR28","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s11047-014-9435-8","volume":"14","author":"D Doty","year":"2015","unstructured":"Doty D, Hajiaghayi M (2015) Leaderless deterministic chemical reaction networks. Nat Comput 14(2):213\u2013223","journal-title":"Nat Comput"},{"key":"9723_CR29","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s00446-016-0281-z","volume":"31","author":"D Doty","year":"2018","unstructured":"Doty D, Soloveichik D (2018) Stable leader election in population protocols requires linear time. Distrib Comput 31:257\u2013271","journal-title":"Distrib Comput"},{"key":"9723_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-67471-1_7","volume-title":"15th international conference on computational methods in systems biology (CMSB 2017)","author":"F Fages","year":"2017","unstructured":"Fages F, Guludec GL, Bournez O, Pouly A (2017) Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. In: Feret J, Koeppl H (eds) 15th international conference on computational methods in systems biology (CMSB 2017), vol 10545. Lecture Notes in Computer Science. Springer, Berlin, pp 108\u2013127"},{"key":"9723_CR31","unstructured":"Feinberg M (1980) Lectures on chemical reaction networks. \n                    https:\/\/crnt.osu.edu\/LecturesOnReactionNetworks\n                    \n                  . Accessed 2 Aug 2018"},{"issue":"1","key":"9723_CR32","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF00250853","volume":"66","author":"M Feinberg","year":"1977","unstructured":"Feinberg M, Horn F (1977) Chemical mechanism structure and the coincidence of the stoichiometric and kinetic subspaces. Arch Ration Mech Anal 66(1):83\u201397","journal-title":"Arch Ration Mech Anal"},{"key":"9723_CR33","doi-asserted-by":"crossref","unstructured":"Fett B, Bruck J, Riedel MD (2007) Synthesizing stochasticity in biochemical systems. In: Proceedings of the 44th annual design automation conference (DAC 2007). ACM, pp 640\u2013645","DOI":"10.1145\/1278480.1278643"},{"issue":"2","key":"9723_CR34","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S Ginsburg","year":"1966","unstructured":"Ginsburg S, Spanier EH (1966) Semigroups, Presburger formulas, and languages. Pac J Math 16(2):285\u2013296","journal-title":"Pac J Math"},{"key":"9723_CR35","unstructured":"Gunawardena J (2003) Chemical reaction network theory for in-silico biologists. \n                    http:\/\/vcp.med.harvard.edu\/papers\/crnt.pdf\n                    \n                  . Accessed 2 Aug 2018"},{"key":"9723_CR36","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Pansiot J (1979) On the reachability problem for 5-dimensional vector addition systems. Theor Comput Sci 8:135\u2013159","journal-title":"Theor Comput Sci"},{"key":"9723_CR37","volume-title":"Introduction to automata theory, languages, and computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Addison-Wesley, Boston"},{"issue":"3","key":"9723_CR38","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BF00255664","volume":"49","author":"F Horn","year":"1972","unstructured":"Horn F (1972) Necessary and sufficient conditions for complex balancing in chemical kinetics. Arch Ration Mech Anal 49(3):172\u2013186","journal-title":"Arch Ration Mech Anal"},{"issue":"2","key":"9723_CR39","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00251225","volume":"47","author":"F Horn","year":"1972","unstructured":"Horn F, Jackson R (1972) General mass action kinetics. Arch Ration Mech Anal 47(2):81\u2013116","journal-title":"Arch Ration Mech Anal"},{"key":"9723_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri nets: basic concepts, analysis methods and practical use","author":"K Jensen","year":"1996","unstructured":"Jensen K (1996) Coloured Petri nets: basic concepts, analysis methods and practical use, 2nd edn. Springer, Berlin","edition":"2"},{"key":"9723_CR41","unstructured":"Johnson R, Winfree E (2014) Verifying polymer reaction networks using bisimulation. \n                    http:\/\/www.dna.caltech.edu\/Papers\/Polymers2014-VEMDP.pdf\n                    \n                  . Accessed 2 Aug 2018"},{"key":"9723_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-43994-5_8","volume-title":"Proceedings of the 22th international conference on DNA computing and molecular programming (DNA 22)","author":"RF Johnson","year":"2016","unstructured":"Johnson RF, Dong Q, Winfree E (2016) Verifying chemical reaction network implementations: a bisimulation approach. In: Rondelez Y, Woods D (eds) Proceedings of the 22th international conference on DNA computing and molecular programming (DNA 22), vol 9818. Lecture Notes in Computer Science. Springer, pp 114\u2013134"},{"issue":"2","key":"9723_CR43","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"RM Karp","year":"1969","unstructured":"Karp RM, Miller RE (1969) Parallel program schemata. J Comput Syst Sci 3(2):147\u2013195","journal-title":"J Comput Syst Sci"},{"issue":"7","key":"9723_CR44","doi-asserted-by":"publisher","first-page":"2976","DOI":"10.1063\/1.1678692","volume":"57","author":"TG Kurtz","year":"1972","unstructured":"Kurtz TG (1972) The relationship between stochastic and deterministic models for chemical reactions. J Chem Phys 57(7):2976\u20132978","journal-title":"J Chem Phys"},{"key":"9723_CR45","unstructured":"Leroux J (2012) Vector addition systems reachability problem (a simpler solution). In: Voronkov A (ed) Proceedings of the Alan turing centenary conference (Turing-100), vol 10. EPiC Series, pp 214\u2013228"},{"key":"9723_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1007\/978-3-540-74913-4_120","volume-title":"Proceedings of the 9th European conference on artificial life (ECAL 2007)","author":"AML Liekens","year":"2007","unstructured":"Liekens AML, Fernando CT (2007) Turing complete catalytic particle computers. In: Almeida e Costa F, Rocha LM, Costa E, Harvey I, Coutinho A (eds) Proceedings of the 9th European conference on artificial life (ECAL 2007), vol 4648. Lecture Notes in Computer Science. Springer, Berlin, pp 1202\u20131211"},{"issue":"1","key":"9723_CR47","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1186\/1748-7188-6-26","volume":"6","author":"R Lorenz","year":"2011","unstructured":"Lorenz R, Bernhart SH, H\u00f6ner zu Siederdissen C, Tafer H, Flamm C, Stadler PF, Hofacker IL (2011) ViennaRNA package 2.0. Algorithms Mol Biol 6(1):26","journal-title":"Algorithms Mol Biol"},{"key":"9723_CR48","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"MO Magnasco","year":"1997","unstructured":"Magnasco MO (1997) Chemical kinetics is Turing universal. Phys Rev Lett 78:1190\u20131193","journal-title":"Phys Rev Lett"},{"key":"9723_CR49","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Petri nets 1989","author":"MA Marsan","year":"1988","unstructured":"Marsan MA (1988) Stochastic Petri nets: an elementary introduction. In: Rozenberg G (ed) Advances in Petri nets 1989, vol 424. Lecture Notes in Computer Science. Springer, Berlin, pp 1\u201329"},{"issue":"3","key":"9723_CR50","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"EW Mayr","year":"1984","unstructured":"Mayr EW (1984) An algorithm for the general Petri net reachability problem. SIAM J Comput 13(3):441\u2013460","journal-title":"SIAM J Comput"},{"issue":"3","key":"9723_CR51","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/3212214","volume":"4","author":"DA McQuarrie","year":"1967","unstructured":"McQuarrie DA (1967) Stochastic approach to chemical kinetics. J Appl Probab 4(3):413\u2013478","journal-title":"J Appl Probab"},{"issue":"3","key":"9723_CR52","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"ML Minsky","year":"1961","unstructured":"Minsky ML (1961) Recursive unsolvability of Post\u2019s problem of \u201ctag\u201d and other topics in theory of Turing machines. Ann Math 74(3):437\u2013455","journal-title":"Ann Math"},{"issue":"3","key":"9723_CR53","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson JL (1977) Petri nets. ACM Comput Surv 9(3):223\u2013252","journal-title":"ACM Comput Surv"},{"key":"9723_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-319-11295-4_8","volume-title":"Proceedings of the 20th international conference on DNA computing and molecular programming (DNA 20)","author":"L Qian","year":"2014","unstructured":"Qian L, Winfree E (2014) Parallel and scalable computation and spatial dynamics with DNA-based chemical reaction networks on a surface. In: Murata S, Kobayashi S (eds) Proceedings of the 20th international conference on DNA computing and molecular programming (DNA 20), vol 8727. Lecture Notes in Computer Science. Springer, Berlin, pp 114\u2013131"},{"key":"9723_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-48745-X_8","volume-title":"Proceedings of the 20th international conference on the applications and theory of Petri nets (ICATPN \u201999)","author":"L Recalde","year":"1999","unstructured":"Recalde L, Teruel E, Su\u00e1rez MS (1999) Autonomous continuous P\/T systems. In: Donatelli S, Kleijn HCM (eds) Proceedings of the 20th international conference on the applications and theory of Petri nets (ICATPN \u201999), vol 1639. Lecture Notes in Computer Science. Springer, Berlin, pp 107\u2013126"},{"key":"9723_CR56","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri nets I: basic models","year":"1998","unstructured":"Reisig W, Rozenberg G (eds) (1998) Lectures on Petri nets I: basic models, vol 1491. Lecture Notes in Computer Science. Springer, Berlin"},{"key":"9723_CR58","doi-asserted-by":"crossref","unstructured":"Salehi SA, Riedel MD, Parhi KK (2014) Asynchronous discrete-time signal processing with molecular reactions. In: Proceedings of the 48th Asilomar conference on signals, systems and computers, pp 1767\u20131772","DOI":"10.1109\/ACSSC.2014.7094771"},{"issue":"6","key":"9723_CR59","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pone.0021414","volume":"6","author":"P Senum","year":"2011","unstructured":"Senum P, Riedel M (2011) Rate-independent constructs for chemical computation. PLOS ONE 6(6):1\u201312 06","journal-title":"PLOS ONE"},{"issue":"1\u20134","key":"9723_CR60","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1002\/sapm1941201337","volume":"20","author":"CE Shannon","year":"1941","unstructured":"Shannon CE (1941) Mathematical theory of the differential analyzer. J Math Phys 20(1\u20134):337\u2013354","journal-title":"J Math Phys"},{"key":"9723_CR61","doi-asserted-by":"publisher","unstructured":"Shin SW, Thachuk C, Winfree E (2017) Verifying chemical reaction network implementations: a pathway decomposition approach. Theor Comput Sci. \n                    https:\/\/doi.org\/10.1016\/j.tcs.2017.10.011","DOI":"10.1016\/j.tcs.2017.10.011"},{"issue":"4","key":"9723_CR62","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s11047-008-9067-y","volume":"7","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7(4):615\u2013633","journal-title":"Nat Comput"},{"issue":"12","key":"9723_CR63","doi-asserted-by":"publisher","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik D, Seelig G, Winfree E (2010) DNA as a universal substrate for chemical kinetics. Proc Natl Acad Sci 107(12):5393\u20135398","journal-title":"Proc Natl Acad Sci"},{"key":"9723_CR64","volume-title":"Principles of asynchronous circuit design: a systems perspective","year":"2001","unstructured":"Sparso J, Furber S (eds) (2001) Principles of asynchronous circuit design: a systems perspective. Springer, Berlin"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-018-9723-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-018-9723-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-018-9723-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,21]],"date-time":"2020-01-21T00:09:45Z","timestamp":1579565385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-018-9723-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,21]]},"references-count":63,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["9723"],"URL":"https:\/\/doi.org\/10.1007\/s11047-018-9723-9","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,21]]},"assertion":[{"value":"21 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}