{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,19]],"date-time":"2026-04-19T01:57:48Z","timestamp":1776563868807,"version":"3.51.2"},"update-to":[{"DOI":"10.1371\/journal.pcbi.1007651","type":"new_version","label":"New version","source":"publisher","updated":{"date-parts":[[2020,3,19]],"date-time":"2020-03-19T00:00:00Z","timestamp":1584576000000}}],"reference-count":49,"publisher":"Public Library of Science (PLoS)","issue":"3","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000268","name":"Biotechnology and Biological Sciences Research Council","doi-asserted-by":"publisher","award":["BB\/N016858\/1"],"award-info":[{"award-number":["BB\/N016858\/1"]}],"id":[{"id":"10.13039\/501100000268","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004440","name":"Wellcome Trust","doi-asserted-by":"publisher","award":["110064\/Z\/15\/Z"],"award-info":[{"award-number":["110064\/Z\/15\/Z"]}],"id":[{"id":"10.13039\/100004440","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.ploscompbiol.org"],"crossmark-restriction":false},"short-container-title":["PLoS Comput Biol"],"DOI":"10.1371\/journal.pcbi.1007651","type":"journal-article","created":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T13:37:53Z","timestamp":1583761073000},"page":"e1007651","update-policy":"https:\/\/doi.org\/10.1371\/journal.pcbi.corrections_policy","source":"Crossref","is-referenced-by-count":17,"title":["The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems"],"prefix":"10.1371","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0326-8200","authenticated-orcid":true,"given":"Michael A.","family":"Boemo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8705-8488","authenticated-orcid":true,"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2001-076X","authenticated-orcid":true,"given":"Conrad A.","family":"Nieduszynski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"340","published-online":{"date-parts":[[2020,3,9]]},"reference":[{"key":"pcbi.1007651.ref001","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980"},{"key":"pcbi.1007651.ref002","volume-title":"Communicating Sequential Processes","author":"C.A.R Hoare","year":"1985"},{"key":"pcbi.1007651.ref003","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1994"},{"key":"pcbi.1007651.ref004","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/978-1-4615-2241-6_12","volume-title":"Computations with Markov Chains","author":"J Hillston","year":"1995"},{"key":"pcbi.1007651.ref005","first-page":"220","volume-title":"Stochastic Model Checking","author":"M Kwiatkowska","year":"2007"},{"key":"pcbi.1007651.ref006","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"S Gilmore","year":"1994"},{"issue":"4","key":"pcbi.1007651.ref007","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1530873.1530880","article-title":"The PEPA Eclipse Plugin","volume":"36","author":"M Tribastone","year":"2009","journal-title":"SIGMETRICS Perform Eval Rev"},{"key":"pcbi.1007651.ref008","unstructured":"Gilmore S. PEPA-to-PRISM Compiler. http:\/\/www.prismmodelchecker.org\/other-downloads.php."},{"issue":"33","key":"pcbi.1007651.ref009","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","article-title":"Bio-PEPA: A framework for the modelling and analysis of biological systems","volume":"410","author":"F Ciocchetta","year":"2009","journal-title":"Theoretical Computer Science"},{"key":"pcbi.1007651.ref010","unstructured":"http:\/\/homepages.inf.ed.ac.uk\/jeh\/Bio-PEPA\/Tools.html."},{"key":"pcbi.1007651.ref011","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-44804-7_13","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"G Clark","year":"2001"},{"key":"pcbi.1007651.ref012","unstructured":"Clark G., Courtney T., Daly D., Deavours D., Derisavi S., Doyle J.M., Sanders W.H., Webster P. The M\u00f6bius modeling tool. In: Proceedings 9th International Workshop on Petri Nets and Performance Models; 2001. p. 241\u2013250."},{"key":"pcbi.1007651.ref013","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-540-24663-3_15","volume-title":"Performance Tools and Applications to Networked Systems","author":"S Gilmore","year":"2004"},{"key":"pcbi.1007651.ref014","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A Calculus of Mobile Processes","volume":"100","author":"R Milner","year":"1992","journal-title":"Information and Computation"},{"key":"pcbi.1007651.ref015","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","article-title":"Stochastic \u03c0-Calculus","volume":"38","author":"C Priami","year":"1995","journal-title":"The Computer Journal"},{"key":"pcbi.1007651.ref016","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Computational Methods in Systems Biology","author":"A Phillips","year":"2007"},{"key":"pcbi.1007651.ref017","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/11905455_2","volume-title":"Transactions on Computational Systems Biology VII","author":"C Kuttler","year":"2006"},{"issue":"1","key":"pcbi.1007651.ref018","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","article-title":"Application of a stochastic name-passing calculus to representation and simulation of molecular processes","volume":"80","author":"C Priami","year":"2001","journal-title":"Information Processing Letters"},{"key":"pcbi.1007651.ref019","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/11732488_10","volume-title":"Transactions on Computational Systems Biology IV","author":"R Blossey","year":"2006"},{"key":"pcbi.1007651.ref020","doi-asserted-by":"crossref","unstructured":"Regev A., Wilverman W., Shapiro E. In: Representation and simulation of biochemical processes using the \u03c0-calculus process algebra; 2000. p. 459\u2013470.","DOI":"10.1142\/9789814447362_0045"},{"key":"pcbi.1007651.ref021","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195003","volume-title":"Process Algebra: Equational Theories of Communicating Processes","author":"J.C.M Baeten","year":"2009"},{"key":"pcbi.1007651.ref022","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1038\/nrm4002","article-title":"DNA replication origin activation in space and time","volume":"16","author":"M Fragkos","year":"2015","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"pcbi.1007651.ref023","doi-asserted-by":"crossref","first-page":"D682","DOI":"10.1093\/nar\/gkr1091","article-title":"OriDB, the DNA replication origin database updated and extended","volume":"40","author":"C.C Siow","year":"2011","journal-title":"Nucleic Acids Research"},{"issue":"17","key":"pcbi.1007651.ref024","doi-asserted-by":"crossref","first-page":"5623","DOI":"10.1093\/nar\/gkq343","article-title":"Mathematical modelling of whole chromosome replication","volume":"38","author":"A.P.S de Moura","year":"2010","journal-title":"Nucleic Acids Research"},{"key":"pcbi.1007651.ref025","doi-asserted-by":"crossref","first-page":"e3","DOI":"10.1093\/nar\/gkt878","article-title":"The dynamics of genome replication using deep sequencing","volume":"42","author":"C.A M\u00fcller","year":"2014","journal-title":"Nucleic Acids Research"},{"key":"pcbi.1007651.ref026","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1126\/science.aac9786","article-title":"Stochastic activation of a DNA damage response causes cell-to-cell mutation rate variation","volume":"351","author":"S Uphoff","year":"2016","journal-title":"Science"},{"key":"pcbi.1007651.ref027","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S1383-5742(00)00016-8","article-title":"Unmasking a killer: DNA O6-methylguanine and the cytotoxicity of methylating agents","volume":"462","author":"M Bignami","year":"2000","journal-title":"Mutation Research\/Reviews in Mutation Research"},{"key":"pcbi.1007651.ref028","doi-asserted-by":"crossref","first-page":"8886","DOI":"10.1038\/sj.onc.1205998","article-title":"Recent progress on the Ada response for inducible repair of DNA alkylation damage","volume":"21","author":"B Sedgwick","year":"2002","journal-title":"Oncogene"},{"key":"pcbi.1007651.ref029","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1038\/nrc3185","article-title":"Balancing repair and tolerance of DNA damage caused by alkylating agents","volume":"12","author":"D Fu","year":"2012","journal-title":"Nature Reviews Cancer"},{"key":"pcbi.1007651.ref030","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1016\/j.bpj.2019.08.009","article-title":"A quantitative model explains single-cell dynamics of the adaptive response in Escherichia coli","volume":"117","author":"S Uphoff","year":"2019","journal-title":"Biophysical Journal"},{"key":"pcbi.1007651.ref031","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1038\/nature08102","article-title":"Unlimited multistability in multisite phosphorylation systems","volume":"460","author":"M Thomson","year":"2009","journal-title":"Nature"},{"key":"pcbi.1007651.ref032","doi-asserted-by":"crossref","first-page":"14617","DOI":"10.1073\/pnas.0507322102","article-title":"Multisite protein phosphorylation makes a good threshold but can be a poor switch","volume":"102","author":"J Gunawardena","year":"2005","journal-title":"PNAS"},{"key":"pcbi.1007651.ref033","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1016\/j.tibs.2014.09.003","article-title":"Ultrasensitivity part II: multisite phosphorylation, stoichiometric inhibitors, and positive feedback","volume":"39","author":"J.E Ferrell","year":"2014","journal-title":"Trends in Biochemical Sciences"},{"key":"pcbi.1007651.ref034","doi-asserted-by":"crossref","first-page":"3177","DOI":"10.1111\/j.1742-4658.2009.07027.x","article-title":"Multisite protein phosphorylation\u2014from molecular mechanisms to kinetic models","volume":"276","author":"C Salazar","year":"2009","journal-title":"The FEBS Journal"},{"key":"pcbi.1007651.ref035","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1111\/imr.12008","article-title":"Non-catalytic tyrosine-phosphorylated receptors","volume":"250","author":"O Dushek","year":"2012","journal-title":"Immunological Reviews"},{"key":"pcbi.1007651.ref036","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1016\/j.bpj.2011.01.060","article-title":"Ultrasensitivity in multisite phosphorylation of membrane-anchored proteins","volume":"100","author":"O Dushek","year":"2011","journal-title":"Biophysical Journal"},{"key":"pcbi.1007651.ref037","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1091\/mbc.e05-07-0657","article-title":"DNA replication origins fire stochastically in fission yeast","volume":"17","author":"P.K Patel","year":"2006","journal-title":"Molecular Biology of the Cell"},{"key":"pcbi.1007651.ref038","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1101\/gad.14.1.1","article-title":"Replication fork pausing and recombination or \u201cgimme a break\u201d","volume":"14","author":"R Rothstein","year":"2000","journal-title":"Genes & Development"},{"key":"pcbi.1007651.ref039","first-page":"17","article-title":"Rule-based modelling of cellular signalling","volume":"4703","author":"V Danos","year":"2007","journal-title":"CONCUR. LNCS"},{"key":"pcbi.1007651.ref040","first-page":"116","article-title":"Rule-based modelling and model perturbation","volume":"5750","author":"V Danos","year":"2009","journal-title":"Trans. on Comput. Syst. Biol"},{"key":"pcbi.1007651.ref041","doi-asserted-by":"crossref","first-page":"i583","DOI":"10.1093\/bioinformatics\/bty272","article-title":"The Kappa platform for rule-based modelling","volume":"34","author":"P Boutillier","year":"2018","journal-title":"Bioinformatics"},{"key":"pcbi.1007651.ref042","doi-asserted-by":"crossref","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","article-title":"BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains","volume":"20","author":"M.L Blinov","year":"2004","journal-title":"Bioinformatics"},{"key":"pcbi.1007651.ref043","doi-asserted-by":"crossref","first-page":"3366","DOI":"10.1093\/bioinformatics\/btw469","article-title":"BioNetGen 2.2: advances in rule-based modeling","volume":"32","author":"L.A Harris","year":"2016","journal-title":"Bioinformatics"},{"key":"pcbi.1007651.ref044","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1038\/msb.2013.1","article-title":"Programming biological models in Python using PySB","volume":"9","author":"C.F Lopez","year":"2013","journal-title":"Mol. Syst. Biol"},{"key":"pcbi.1007651.ref045","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1186\/1752-0509-5-166","article-title":"Rule-based multi-level modeling of cell biological systems","volume":"5","author":"C Maus","year":"2011","journal-title":"BMC Systems Biology"},{"key":"pcbi.1007651.ref046","doi-asserted-by":"crossref","unstructured":"Helms T., Maus C., Haack F., Uhrmacher A.M. Muti-level modeling and simulation of cell biological systems with ML-Rules\u2014A tutorial. In: Proceedings of the Winter Simulation Conference 2014. 177-191.","DOI":"10.1109\/WSC.2014.7019887"},{"key":"pcbi.1007651.ref047","doi-asserted-by":"crossref","first-page":"1229","DOI":"10.1093\/bioinformatics\/btt134","article-title":"The Simmune Modeler visual interface for creating signaling networks based on bi-molecular interactions","volume":"29","author":"F Zhang","year":"2013","journal-title":"Bioinformatics"},{"key":"pcbi.1007651.ref048","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1038\/nmeth.1861","article-title":"Computational modeling of cellular signaling processes embedded into dynamic spatial contexts","volume":"9","author":"B.R Angermann","year":"2012","journal-title":"Nature Methods"},{"key":"pcbi.1007651.ref049","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","article-title":"Exact stochastic simulation of coupled chemical reactions","volume":"81","author":"D.T Gillespie","year":"1977","journal-title":"The Journal of Physical Chemistry"}],"updated-by":[{"DOI":"10.1371\/journal.pcbi.1007651","type":"new_version","label":"New version","source":"publisher","updated":{"date-parts":[[2020,3,19]],"date-time":"2020-03-19T00:00:00Z","timestamp":1584576000000}}],"container-title":["PLOS Computational Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1007651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T22:06:34Z","timestamp":1666044394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dx.plos.org\/10.1371\/journal.pcbi.1007651"}},"subtitle":[],"editor":[{"given":"Lucia","family":"Marucci","sequence":"first","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":49,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020,3,9]]}},"URL":"https:\/\/doi.org\/10.1371\/journal.pcbi.1007651","relation":{"has-preprint":[{"id-type":"doi","id":"10.1101\/579029","asserted-by":"object"}]},"ISSN":["1553-7358"],"issn-type":[{"value":"1553-7358","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,9]]}}}