{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T00:09:35Z","timestamp":1771459775676,"version":"3.50.1"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"S4","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1186\/s12859-019-2690-z","type":"journal-article","created":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T09:07:39Z","timestamp":1555578459000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking"],"prefix":"10.1186","volume":"20","author":[{"given":"David","family":"Gilbert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ghanbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacek","family":"Chodak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,18]]},"reference":[{"issue":"8","key":"2690_CR1","doi-asserted-by":"publisher","first-page":"1002533","DOI":"10.1371\/journal.pbio.1002533","volume":"14","author":"R Sender","year":"2016","unstructured":"Sender R, Fuchs S, Milo R. Revised estimates for the number of human and bacteria cells in the body. PLoS Biol. 2016; 14(8):1002533.","journal-title":"PLoS Biol"},{"issue":"7","key":"2690_CR2","doi-asserted-by":"publisher","first-page":"2219","DOI":"10.3748\/wjg.v22.i7.2219","volume":"22","author":"E Distrutti","year":"2016","unstructured":"Distrutti E, Monaldi L, Ricci P, Fiorucci S. Gut microbiota role in irritable bowel syndrome: New therapeutic strategies. World J Gastroenterol. 2016; 22(7):2219.","journal-title":"World J Gastroenterol"},{"issue":"1","key":"2690_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1038\/ni0111-5","volume":"12","author":"KM Maslowski","year":"2011","unstructured":"Maslowski KM, Mackay CR. Diet, gut microbiota and immune responses. Nat Immunol. 2011; 12(1):5\u20139.","journal-title":"Nat Immunol"},{"issue":"4","key":"2690_CR4","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1016\/j.cell.2014.09.053","volume":"159","author":"JK Goodrich","year":"2014","unstructured":"Goodrich JK, Waters JL, Poole AC, Sutter JL, Koren O, Blekhman R, Beaumont M, Van Treuren W, Knight R, Bell JT, et al. Human genetics shape the gut microbiome. Cell. 2014; 159(4):789\u201399.","journal-title":"Cell"},{"issue":"5717","key":"2690_CR5","doi-asserted-by":"publisher","first-page":"1915","DOI":"10.1126\/science.1104816","volume":"307","author":"F B\u00e4ckhed","year":"2005","unstructured":"B\u00e4ckhed F, Ley RE, Sonnenburg JL, Peterson DA, Gordon JI. Host-bacterial mutualism in the human intestine. Science. 2005; 307(5717):1915\u201320.","journal-title":"Science"},{"issue":"4","key":"2690_CR6","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1128\/MMBR.00002-06","volume":"70","author":"JE Gonz\u00e1lez","year":"2006","unstructured":"Gonz\u00e1lez JE, Keshavan ND. Messing with bacterial quorum sensing. Microbiol Mol Biol Rev. 2006; 70(4):859\u201375.","journal-title":"Microbiol Mol Biol Rev"},{"issue":"9","key":"2690_CR7","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1038\/nrmicro.2016.89","volume":"14","author":"KA Papenfort","year":"2016","unstructured":"Papenfort KA, Bassler BL. Quorum sensing signal-response systems in Gram-negative bacteria. Nat Rev Microbiol. 2016; 14(9):576\u201388.","journal-title":"Nat Rev Microbiol"},{"issue":"5","key":"2690_CR8","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1111\/j.1574-6976.2012.00325.x","volume":"36","author":"S Elias","year":"2012","unstructured":"Elias S, Banin E. Multi-species biofilms: living with friendly neighbors. FEMS Microbiol Rev. 2012; 36(5):990\u20131004.","journal-title":"FEMS Microbiol Rev"},{"issue":"12","key":"2690_CR9","doi-asserted-by":"publisher","first-page":"7046","DOI":"10.1073\/pnas.95.12.7046","volume":"95","author":"MG Surette","year":"1998","unstructured":"Surette MG, Bassler BL. Quorum sensing in escherichia coli and salmonella typhimurium. Proc Natl Acad Sci. 1998; 95(12):7046\u201350.","journal-title":"Proc Natl Acad Sci"},{"issue":"3","key":"2690_CR10","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.tim.2006.01.003","volume":"14","author":"SC De Keersmaecker","year":"2006","unstructured":"De Keersmaecker SC, Sonck K, Vanderleyden J. Let LuxS speak up in AI-2 signaling. Trends Microbiol. 2006; 14(3):114\u20139.","journal-title":"Trends Microbiol"},{"issue":"1","key":"2690_CR11","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1128\/JB.187.1.238-248.2005","volume":"187","author":"KB Xavier","year":"2005","unstructured":"Xavier KB, Bassler BL. Regulation of uptake and processing of the quorum-sensing autoinducer AI-2 in Escherichia coli. J Bacteriol. 2005; 187(1):238\u201348.","journal-title":"J Bacteriol"},{"issue":"1","key":"2690_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/1040841X.2017.1303660","volume":"44","author":"E Rossi","year":"2018","unstructured":"Rossi E, Cimdins A, L\u00fcthje P, Brauner A, Sj\u00f6ling \u00c5, Landini P, R\u00f6mling U. \u201cIt\u2019s a gut feeling\u201d\u2013Escherichia coli biofilm formation in the gastrointestinal tract environment. Crit Rev Microbiol. 2018; 44(1):1\u201330.","journal-title":"Crit Rev Microbiol"},{"issue":"2","key":"2690_CR13","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1111\/j.1574-6976.2012.00345.x","volume":"37","author":"CS Pereira","year":"2013","unstructured":"Pereira CS, Thompson JA, Xavier KB. Ai-2-mediated signalling in bacteria. FEMS Microbiol Rev. 2013; 37(2):156\u201381.","journal-title":"FEMS Microbiol Rev"},{"issue":"1","key":"2690_CR14","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1111\/j.1574-6976.2008.00150.x","volume":"33","author":"CD Nadell","year":"2008","unstructured":"Nadell CD, Xavier JB, Foster KR. The sociobiology of biofilms. FEMS microbiology reviews. 2008; 33(1):206\u201324.","journal-title":"FEMS microbiology reviews"},{"issue":"3","key":"2690_CR15","doi-asserted-by":"publisher","first-page":"2519","DOI":"10.3390\/s120302519","volume":"12","author":"Y-H Li","year":"2012","unstructured":"Li Y-H, Tian X. Quorum sensing and bacterial social interactions in biofilms. Sensors. 2012; 12(3):2519\u201338.","journal-title":"Sensors"},{"issue":"8","key":"2690_CR16","doi-asserted-by":"publisher","first-page":"1585","DOI":"10.1007\/s11538-016-0160-6","volume":"78","author":"J P\u00e9rez-Vel\u00e1zquez","year":"2016","unstructured":"P\u00e9rez-Vel\u00e1zquez J, G\u00f6lgeli M, Garc\u00eda-Contreras R. Mathematical modelling of bacterial quorum sensing: a review. Bull Math Biol. 2016; 78(8):1585\u2013639.","journal-title":"Bull Math Biol"},{"issue":"1","key":"2690_CR17","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1128\/JB.104.1.313-322.1970","volume":"104","author":"KH Nealson","year":"1970","unstructured":"Nealson KH, Platt T, Hastings JW. Cellular control of the synthesis and activity of the bacterial luminescent system. J Bacteriol. 1970; 104(1):313\u201322.","journal-title":"J Bacteriol"},{"issue":"3","key":"2690_CR18","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1128\/JB.109.3.1101-1105.1972","volume":"109","author":"A Eberhard","year":"1972","unstructured":"Eberhard A. Inhibition and activation of bacterial luciferase synthesis. J Bacteriol. 1972; 109(3):1101\u20135.","journal-title":"J Bacteriol"},{"key":"2690_CR19","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1146\/annurev.cellbio.21.012704.131001","volume":"21","author":"CM Waters","year":"2005","unstructured":"Waters CM, Bassler BL. Quorum sensing: cell-to-cell communication in bacteria. Annu Rev Cell Dev Biol. 2005; 21:319\u201346.","journal-title":"Annu Rev Cell Dev Biol"},{"issue":"1","key":"2690_CR20","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1021\/cr100286z","volume":"111","author":"AB Goryachev","year":"2011","unstructured":"Goryachev AB. Understanding bacterial cell- cell communication with computational modeling. Chem Rev. 2011; 111(1):238\u201350.","journal-title":"Chem Rev"},{"issue":"1","key":"2690_CR21","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1186\/1752-0509-7-6","volume":"7","author":"M Weber","year":"2013","unstructured":"Weber M, Buceta J. Dynamics of the quorum sensing switch: stochastic and non-stationary effects. BMC Syst Biol. 2013; 7(1):6.","journal-title":"BMC Syst Biol"},{"issue":"1","key":"2690_CR22","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1128\/MMBR.00024-14","volume":"79","author":"BA Hense","year":"2015","unstructured":"Hense BA, Schuster M. Core principles of bacterial autoinducer systems. Microbiol Mol Biol Rev. 2015; 79(1):153\u201369.","journal-title":"Microbiol Mol Biol Rev"},{"issue":"3","key":"2690_CR23","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1093\/imammb\/21.3.169","volume":"21","author":"JP Ward","year":"2004","unstructured":"Ward JP, King J, Koerber A, Croft J, Sockett R, Williams P. Cell-signalling repression in bacterial quorum sensing. Math Med Biol. 2004; 21(3):169\u2013204.","journal-title":"Math Med Biol"},{"issue":"1","key":"2690_CR24","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1038\/msb4100107","volume":"2","author":"J Li","year":"2006","unstructured":"Li J, Wang L, Hashimoto Y, Tsao C-Y, Wood TK, Valdes JJ, Zafiriou E, Bentley WE. A stochastic model of Escherichia coli AI-2 quorum signal circuit reveals alternative synthesis pathways. Mol Syst Biol. 2006; 2(1):67.","journal-title":"Mol Syst Biol"},{"key":"2690_CR25","unstructured":"Eberl H, Morgenroth E, Noguera D, Picioreanu C, Rittmann B, van Loosdrecht M, Wanner O, Vol. 18. Mathematical Modeling of Biofilms: IWA Publishing; 2006."},{"issue":"16","key":"2690_CR26","doi-asserted-by":"publisher","first-page":"6011","DOI":"10.1128\/JB.00014-07","volume":"189","author":"J Li","year":"2007","unstructured":"Li J, Attila C, Wang L, Wood TK, Valdes JJ, Bentley WE. Quorum sensing in escherichia coli is signaled by ai-2\/lsrr: effects on small rna and biofilm architecture. J Bacteriol. 2007; 189(16):6011\u201320.","journal-title":"J Bacteriol"},{"issue":"7","key":"2690_CR27","doi-asserted-by":"publisher","first-page":"2919","DOI":"10.1128\/IAI.01376-09","volume":"78","author":"EA Novak","year":"2010","unstructured":"Novak EA, Shao H, Daep CA, Demuth DR. Autoinducer-2 and QseC control biofilm formation and in vivo virulence of Aggregatibacter actinomycetemcomitans. Infect Immun. 2010; 78(7):2919\u201326.","journal-title":"Infect Immun"},{"issue":"1, 2","key":"2690_CR28","doi-asserted-by":"crossref","first-page":"27","DOI":"10.3233\/ISB-2010-0418","volume":"10","author":"S Janowski","year":"2010","unstructured":"Janowski S, Kormeier B, T\u00f6pel T, Hippe K, Hofest\u00e4dt R, Willassen N, Friesen R, Rubert S, Borck D, Haugen P, et al. Modeling of cell-to-cell communication processes with petri nets using the example of quorum sensing. In silico Biol. 2010; 10(1, 2):27\u201348.","journal-title":"In silico Biol"},{"issue":"4","key":"2690_CR29","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1007\/s00285-006-0024-z","volume":"53","author":"J M\u00fcller","year":"2006","unstructured":"M\u00fcller J, Kuttler C, Hense BA, Rothballer M, Hartmann A. Cell\u2013cell communication by quorum sensing and dimension-reduction. J Math Biol. 2006; 53(4):672\u2013702.","journal-title":"J Math Biol"},{"key":"2690_CR30","volume-title":"Transactions on Computational Systems Biology VI. Lecture Notes in Computer Science, vol 4220","author":"MJ P\u00e9rez-Jim\u00e9nez","year":"2006","unstructured":"P\u00e9rez-Jim\u00e9nez MJ, Romero-Campero FJ. P systems, a new computational modelling tool for systems biology In: Priami C, Plotkin G, editors. Transactions on Computational Systems Biology VI. Lecture Notes in Computer Science, vol 4220. Berlin: Springer: 2006. p. 176\u201397. \n                    https:\/\/doi.org\/10.1007\/11880646_8\n                    \n                  ."},{"issue":"25","key":"2690_CR31","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT. Exact stochastic simulation of coupled chemical reactions. J Phys Chem. 1977; 81(25):2340\u201361.","journal-title":"J Phys Chem"},{"issue":"1-2","key":"2690_CR32","doi-asserted-by":"publisher","first-page":"181","DOI":"10.3233\/FI-2018-1680","volume":"160","author":"Christian Rohr","year":"2018","unstructured":"Rohr C. Discrete-Time Leap Method For Stochastic Simulation. Fundamenta Informaticae, Special Issue \u2019Advances in Biological processes and Petri nets (BioPPN)\u2019. 2018; 160(1-2):181\u201398. \n                    https:\/\/doi.org\/10.3233\/FI-2018-1680\n                    \n                  .","journal-title":"Fundamenta Informaticae"},{"key":"2690_CR33","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.compbiomed.2014.07.004","volume":"53","author":"F Liu","year":"2014","unstructured":"Liu F, Bl\u00e4tke M, Heiner M, Yang M. Modelling and simulating reaction \u2013 diffusion systems using coloured Petri nets. Comput Biol Med. 2014; 53:297\u2013308. \n                    https:\/\/doi.org\/10.1016\/j.compbiomed.2014.07.004\n                    \n                  .","journal-title":"Comput Biol Med"},{"issue":"1","key":"2690_CR34","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1038\/msb.2008.24","volume":"4","author":"FK Balagadd\u00e9","year":"2008","unstructured":"Balagadd\u00e9 FK, Song H, Ozaki J, Collins CH, Barnet M, Arnold FH, Quake SR, You L. A synthetic escherichia coli predator\u2013prey ecosystem. Mol Syst Biol. 2008; 4(1):187.","journal-title":"Mol Syst Biol"},{"key":"2690_CR35","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-21834-7_2","volume-title":"Applications and Theory of Petri Nets","author":"Monika Heiner","year":"2011","unstructured":"Heiner M, Gilbert D. In: Kristensen L, Petrucci L, (eds).How Might Petri Nets Enhance Your Systems Biology Toolkit. Lecture Notes in Computer Science, vol. 6709: Springer; 2011, pp. 17\u201337. \n                    https:\/\/doi.org\/10.1007\/978-3-642-21834-7_2\n                    \n                  ."},{"issue":"4","key":"2690_CR36","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C. Petri net modelling of biological networks. Brief Bioinform. 2007; 8(4):210\u20139.","journal-title":"Brief Bioinform"},{"key":"2690_CR37","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G. Modelling with Generalized Stochastic Petri Nets. New York: Wiley; 1995."},{"key":"2690_CR38","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"David Gilbert","year":"2006","unstructured":"Gilbert D, Heiner M. From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Proc. ICATPN 2006. LNCS 4024, Springer: 2006. p. 181\u2013200. \n                    https:\/\/doi.org\/10.1007\/11767589_11\n                    \n                  ."},{"issue":"5","key":"2690_CR39","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/bib\/bbn026","volume":"9","author":"R Breitling","year":"2008","unstructured":"Breitling R, Gilbert D, Heiner M, Orton R. A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Brief Bioinform. 2008; 9(5):404\u201321. \n                    https:\/\/doi.org\/10.1093\/bib\/bbn026\n                    \n                  .","journal-title":"Brief Bioinform"},{"issue":"4","key":"2690_CR40","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1016\/j.nahs.2012.05.004","volume":"6","author":"M Herajy","year":"2012","unstructured":"Herajy M, Heiner M. Hybrid Representation and Simulation of Stiff Biochemical Networks. J Nonlinear Anal Hybrid Syst. 2012; 6(4):942\u201359. \n                    https:\/\/doi.org\/10.1016\/j.nahs.2012.05.004\n                    \n                  .","journal-title":"J Nonlinear Anal Hybrid Syst"},{"issue":"1\u20132","key":"2690_CR41","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3233\/FI-2018-1674","volume":"160","author":"M Herajy","year":"2018","unstructured":"Herajy M, Heiner M. Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation. Fundamenta Informaticae. 2018; 160(1\u20132):53\u201380. \n                    https:\/\/doi.org\/10.3233\/FI-2018-1674\n                    \n                  .","journal-title":"Fundamenta Informaticae"},{"key":"2690_CR42","volume-title":"Proc. PETRI NETS 2012. LNCS, vol. 7347","author":"M Heiner","year":"2012","unstructured":"Heiner M, Herajy M, Liu F, Rohr C, Schwarick M. Snoopy \u2013 a unifying Petri net tool. In: Proc. PETRI NETS 2012. LNCS, vol. 7347. Berlin: Springer: 2012. p. 398\u2013407. \n                    https:\/\/doi.org\/10.1007\/978-3-642-31131-4_22\n                    \n                  ."},{"key":"2690_CR43","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/B978-0-12-801213-0.00007-1","volume-title":"Algebraic and Discrete Mathematical Methods for Modern Biology","author":"Mary Ann Bl\u00e4tke","year":"2015","unstructured":"Bl\u00e4tke M, Heiner M, Marwan W. Biomodel engineering with Petri nets In: Robeva R, editor. Algebraic and Discrete Mathematical Methods for Modern Biology. Academic Press: 2015. p. 141\u201392. \n                    https:\/\/doi.org\/10.1016\/B978-0-12-801213-0.00007-1\n                    \n                  ."},{"key":"2690_CR44","volume-title":"Petri Nets for Systems and Synthetic Biology. LNCS, vol. 5016.","year":"2008","unstructured":"Heiner M, Gilbert D, Donaldson R. In: Bernardo M, Degano P, Zavattaro G, (eds).Petri Nets for Systems and Synthetic Biology. LNCS, vol. 5016.Berlin: Springer; 2008, pp. 215\u201364. \n                    https:\/\/doi.org\/10.1007\/978-3-540-68894-5_7\n                    \n                  ."},{"key":"2690_CR45","volume-title":"International Conference on Applications and Theory of Petri Nets and Concurrency","author":"D Gilbert","year":"2013","unstructured":"Gilbert D, Heiner M, Liu F, Saunders N. Colouring space-a coloured framework for spatial modelling in systems biology. In: International Conference on Applications and Theory of Petri Nets and Concurrency. Berlin: Springer: 2013. p. 230\u201349. \n                    https:\/\/doi.org\/10.1007\/978-3-642-38697-8_13\n                    \n                  ."},{"issue":"2","key":"2690_CR46","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/TCBB.2012.101","volume":"10","author":"Q Gao","year":"2013","unstructured":"Gao Q, Gilbert D, Heiner M, Liu F, Maccagnola D, Tree D. Multiscale Modelling and Analysis of Planar Cell Polarity in the Drosophila Wing. IEEE\/ACM Trans Comput Biol Bioinform. 2013; 10(2):337\u201351. \n                    https:\/\/doi.org\/10.1109\/TCBB.2012.101\n                    \n                  .","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"issue":"2","key":"2690_CR47","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/2742546","volume":"25","author":"O P\u00e2rvu","year":"2015","unstructured":"P\u00e2rvu O, Gilbert D, Heiner M, Liu F, Saunders N, Shaw S. Spatial-temporal modelling and analysis of bacterial colonies with phase variable genes. ACM Trans Model Comput Simul (TOMACS). 2015; 25(2):25. \n                    https:\/\/doi.org\/10.1145\/2742546\n                    \n                  .","journal-title":"ACM Trans Model Comput Simul (TOMACS)"},{"key":"2690_CR48","doi-asserted-by":"crossref","unstructured":"Liu F, Heiner M, Gilbert D. Coloured Petri nets for multi-level, multiscale, and multi-dimensional modelling of biological systems. Brief Bioinform. 2017. \n                    https:\/\/doi.org\/10.1093\/bib\/bbx150\n                    \n                  . published 03 November 2017.","DOI":"10.1093\/bib\/bbx150"},{"key":"2690_CR49","volume-title":"International Conference on Computational Methods in Systems Biology","author":"R Donaldson","year":"2008","unstructured":"Donaldson R, Gilbert D. A model checking approach to the parameter estimation of biochemical pathways. In: International Conference on Computational Methods in Systems Biology. Berlin: Springer: 2008. p. 269\u201387. \n                    https:\/\/doi.org\/10.1007\/978-3-540-88562-7_20\n                    \n                  ."},{"key":"2690_CR50","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A Pnueli","year":"1981","unstructured":"Pnueli A. The Temporal Semantics of Concurrent Programs. Theor Comput Sci. 1981; 13:45\u201360.","journal-title":"Theor Comput Sci"},{"key":"2690_CR51","unstructured":"Baier C. On Algorithmic Verification Methods for Probabilistic Systems. Habilitation thesis, University of Mannheim. 1998."},{"key":"2690_CR52","volume-title":"International Conference on Computational Methods in Systems Biology","author":"F Fages","year":"2007","unstructured":"Fages F, Rizk A. On the analysis of numerical data time series in temporal logic. In: International Conference on Computational Methods in Systems Biology. Berlin: Springer: 2007. p. 48\u201363. \n                    https:\/\/doi.org\/10.1007\/978-3-540-75140-3_4\n                    \n                  ."},{"issue":"6","key":"2690_CR53","doi-asserted-by":"publisher","first-page":"2066","DOI":"10.1128\/JB.187.6.2066-2076.2005","volume":"187","author":"L Wang","year":"2005","unstructured":"Wang L, Hashimoto Y, Tsao C-Y, Valdes JJ, Bentley WE. Cyclic AMP (cAMP) and cAMP receptor protein influence both synthesis and uptake of extracellular autoinducer 2 in Escherichia coli. J bacteriol. 2005; 187(6):2066\u201376.","journal-title":"J bacteriol"},{"issue":"4","key":"2690_CR54","doi-asserted-by":"publisher","first-page":"1004781","DOI":"10.1371\/journal.pcbi.1004781","volume":"12","author":"DN Quan","year":"2016","unstructured":"Quan DN, Tsao C-Y, Wu H-C, Bentley WE. Quorum sensing desynchronization leads to bimodality and patterned behaviors. PLoS Comput Biol. 2016; 12(4):1004781.","journal-title":"PLoS Comput Biol"},{"issue":"2","key":"2690_CR55","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/j.cell.2008.09.050","volume":"135","author":"A Raj","year":"2008","unstructured":"Raj A, van Oudenaarden A. Nature, nurture, or chance: stochastic gene expression and its consequences. Cell. 2008; 135(2):216\u201326.","journal-title":"Cell"},{"key":"2690_CR56","volume-title":"European Workshop on Applications and Theory in Petri Nets","author":"P Starke","year":"1988","unstructured":"Starke P. Some properties of timed nets under the earliest firing rule In: G R, editor. European Workshop on Applications and Theory in Petri Nets. Berlin: Springer: 1988. p. 418\u201332. \n                    https:\/\/doi.org\/10.1007\/3-540-52494-0_39\n                    \n                  ."},{"key":"2690_CR57","first-page":"138","volume":"5750","author":"M Heiner","year":"2009","unstructured":"Heiner M, Lehrack S, Gilbert D, Marwan W. Extended stochastic petri nets for model-based design of wetlab experiments. Trans Comput Syst Biol XI. 2009; 5750:138\u201363. \n                    https:\/\/doi.org\/10.1007\/978-3-642-04186-0_7\n                    \n                  .","journal-title":"Trans Comput Syst Biol XI"},{"key":"2690_CR58","doi-asserted-by":"crossref","unstructured":"Gilbert D, Heiner M, Jayaweera Y, Rohr C. Towards dynamic genome-scale models. Brief Bioinform. 2017. \n                    https:\/\/doi.org\/10.1093\/bib\/bbx096\n                    \n                  .","DOI":"10.1093\/bib\/bbx096"},{"key":"2690_CR59","unstructured":"Sundials. Sundials CVODE \u2013 Suite of Nonlinear and Differential\/algebraic Equation Solvers. \n                    http:\/\/computation.llnl.gov\/projects\/sundials\/sundials-software\n                    \n                  . Accessed 03 Mar 2019."},{"key":"2690_CR60","volume-title":"International Workshop on Hybrid Systems Biology","author":"M Herajy","year":"2016","unstructured":"Herajy M, Heiner M. Accelerated simulation of hybrid biological models with quasi-disjoint deterministic and stochastic subnets. In: International Workshop on Hybrid Systems Biology. Cham: Springer: 2016. p. 20\u201338. \n                    https:\/\/doi.org\/10.1007\/978-3-319-47151-8_2\n                    \n                  ."},{"key":"2690_CR61","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.jcp.2016.04.056","volume":"317","author":"L Marchetti","year":"2016","unstructured":"Marchetti L, Priami C, Thanh V. HRSSA\u2013Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. J Comput Phys. 2016; 317:301\u201317.","journal-title":"J Comput Phys"},{"issue":"2-3","key":"2690_CR62","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/j.biosystems.2005.04.006","volume":"83","author":"A Goryachev","year":"2006","unstructured":"Goryachev A, Toh D, Lee T. Systems analysis of a quorum sensing network: design constraints imposed by the functional requirements, network topology and kinetic constants. Biosystems. 2006; 83(2-3):178\u201387.","journal-title":"Biosystems"},{"key":"2690_CR63","unstructured":"Rohr C. Simulative analysis of coloured extended stochastic Petri nets. 2017. PhD thesis, BTU Cottbus, Dep. of CS."},{"key":"2690_CR64","volume-title":"International Conference on Applications and Theory of Petri Nets and Concurrency","author":"M Heiner","year":"2013","unstructured":"Heiner M, Rohr C, Schwarick M. MARCIE-model checking and reachability analysis done efficiently In: Colom J, Desel J, editors. International Conference on Applications and Theory of Petri Nets and Concurrency. Berlin: Springer: 2013. p. 389\u201399. \n                    https:\/\/doi.org\/10.1007\/978-3-642-38697-8_21\n                    \n                  ."},{"key":"2690_CR65","unstructured":"Eaton J, Bateman D, Hauberg S, Wehbring R. GNU Octave Version 4.0.0 Manual: a High-level Interactive Language for Numerical Computations; 2015. \n                    http:\/\/www.gnu.org\/software\/octave\/doc\/interpreter\n                    \n                  . Accessed 03 Mar 2019."},{"key":"2690_CR66","unstructured":"Correia PJBC. Regulation of the mechanism of interference with quorum sensing in escherichia coli. PhD thesis, Universidade De Lisboa, Faculdade De Ciencias, Departamento De Biologia Vegetal. 2011."}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-019-2690-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s12859-019-2690-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-019-2690-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T23:06:59Z","timestamp":1587078419000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/s12859-019-2690-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":66,"journal-issue":{"issue":"S4","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["2690"],"URL":"https:\/\/doi.org\/10.1186\/s12859-019-2690-z","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4]]},"assertion":[{"value":"18 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Not applicable.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare that they have no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Publisher\u2019s Note"}}],"article-number":"173"}}