{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:36:19Z","timestamp":1725496579377},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77312-2_9","type":"book-chapter","created":{"date-parts":[[2007,11,24]],"date-time":"2007-11-24T06:17:45Z","timestamp":1195885065000},"page":"138-159","source":"Crossref","is-referenced-by-count":14,"title":["A Hybrid Approach to Modeling Biological Systems"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Bernardini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marian","family":"Gheorghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco Jos\u00e9","family":"Romero-Campero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Walkinshaw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11963516_12","volume-title":"Membrane Computing","author":"L. Bianco","year":"2006","unstructured":"Bianco, L., Fontana, F.: Towards a Hybrid Metabolic Algorithm. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 183\u2013196. Springer, Heidelberg (2006)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0022-2836(74)90385-4","volume":"83","author":"M. Blundell","year":"1974","unstructured":"Blundell, M., Kennell, D.: Evidence for Endonucleolytic Attack in Decay of Lac Messenger RNA in Escherichia Coli. J. Mol. Biol.\u00a083, 143\u2013161 (1974)","journal-title":"J. Mol. Biol."},{"key":"9_CR3","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways Using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-24619-0_11","volume-title":"Membrane Computing","author":"S. Zilio Dal","year":"2004","unstructured":"Dal Zilio, S., Formenti, E.: On the Dynamics of PB Systems: A Petri Net View. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol.\u00a02933, pp. 153\u2013167. Springer, Heidelberg (2004)"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/32.908957","volume":"27","author":"M. Ernst","year":"2001","unstructured":"Ernst, M., Cockrell, J., Griswold, W., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering\u00a027(2), 99\u2013123 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11603047_14","volume-title":"Membrane Computing","author":"F. Fontana","year":"2006","unstructured":"Fontana, F., Bianco, L., Manca, V.: P Systems and the modeling of Biochemical Oscillations. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 199\u2013208. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.tcs.2006.11.030","volume":"372","author":"F. Fontana","year":"2007","unstructured":"Fontana, F., Manca, V.: Discrete Solutions of Differential Equations by Metabolic P Systems. Theoretical Computer Science\u00a0372(2-3), 165\u2013182 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"25","key":"9_CR8","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"9_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P.J.E. Goss","year":"1999","unstructured":"Goss, P.J.E., Peccoud, J.: Quantitative Modeling of Stochastic Systems in Molecular Biology using Stochastic Petri Nets. Proc. Natl. Acad. Sci. USA\u00a095, 6750\u20136755 (1999)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"9_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2006","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1006\/jmbi.1995.0257","volume":"248","author":"S. Hlavacek","year":"1995","unstructured":"Hlavacek, S., Savageau, M.A.: Subunit Structure of Regulator Proteins Influences the Design of Gene Circuitry Analysis of Perfectly Coupled and Uncoupled Circuits. J. Mol. Biol.\u00a0248, 739\u2013755 (1995)","journal-title":"J. Mol. Biol."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-2836(77)90279-0","volume":"114","author":"D. Kennell","year":"1977","unstructured":"Kennell, D., Riezman, H.: Transcription and Translation Initiation Frequencies of the Escherichia Coli Lac Operon. J. Mol. Biol.\u00a0114, 1\u201321 (1977)","journal-title":"J. Mol. Biol."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/11963516_5","volume-title":"Membrane Computing","author":"K. Kleijn","year":"2006","unstructured":"Kleijn, K., Koutny, K.: Synchrony and Asynchrony in Membrane Systems. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 66\u201385. Springer, Heidelberg (2006)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11603047_20","volume-title":"Membrane Computing","author":"K. Kleijn","year":"2006","unstructured":"Kleijn, K., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 292\u2013309. Springer, Heidelberg (2006)"},{"key":"9_CR17","volume-title":"Communication and Mobile Systems: The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and Mobile Systems: The \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with Membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR19","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/11880646_8","volume-title":"Transactions on Computational Systems Biology VI","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2006","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Campero, F.J.: P Systems, a New Computationl modeling Tool for Systems Biology. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 176\u2013197. Springer, Heidelberg (2006)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Campero, F.J.: Modeling Gene Expression Control Using P Systems: The Lac Operon, A Case Study (submitted, 2007)","DOI":"10.1016\/j.biosystems.2007.02.011"},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1142\/S0129054106003760","volume":"17","author":"D. Pescini","year":"2007","unstructured":"Pescini, D., Besozzi, D., Mauri, C., Zandron, C.: Dynamical Probabilistic P systems. International Journal of Foundations of Computer Science\u00a017(1), 183\u2013204 (2007)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V.N. Reddy","year":"1996","unstructured":"Reddy, V.N., Liebman, M.N., Mavrouniotis, M.L.: Qualitative Analysis of Biochemical Reaction Systems. Computers in Biology & Medicine\u00a026(1), 9\u201324 (1996)","journal-title":"Computers in Biology & Medicine"},{"key":"9_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms, modeling and Analysis with Petri Nets","author":"W. Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms, modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets II: Applications","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. LNCS, vol.\u00a01492. Springer, Heidelberg (1998)"},{"issue":"4","key":"9_CR26","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1080\/10020070708541013","volume":"17","author":"F.J. Romero-Campero","year":"2007","unstructured":"Romero-Campero, F.J., Gheorghe, M., Ciobanu, G., Auld, J.M., P\u00e9rez-Jim\u00e9nez, M.J.: Cellular modeling Using P Systems and Process Algebra. Progress in Natural Science\u00a017(4), 375\u2013383 (2007)","journal-title":"Progress in Natural Science"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J.: A Model of the Quorum Sensing System in Vibrio Fischeri Using P Systems (submitted, 2007)","DOI":"10.1162\/artl.2008.14.1.95"},{"key":"9_CR28","volume-title":"Modeling in Molecular Biology","author":"A. Regev","year":"2007","unstructured":"Regev, A., Shapiro, E.: The \u03c0-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modeling in Molecular Biology, Springer, Heidelberg (2007)"},{"key":"9_CR29","unstructured":"Platform Independent Petri Net Editor: http:\/\/pipe2.sourceforge.net"},{"key":"9_CR30","unstructured":"P System Simulator: http:\/\/www.dcs.shef.ac.uk\/~marian\/PSimulatorWeb\/PSystemMF.htm"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77312-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,28]],"date-time":"2021-08-28T22:40:51Z","timestamp":1630190451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77312-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773115"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77312-2_9","relation":{},"subject":[]}}