{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T03:26:27Z","timestamp":1781234787932,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540688921","type":"print"},{"value":"9783540688945","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68894-5_6","type":"book-chapter","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:39:25Z","timestamp":1212151165000},"page":"168-214","source":"Crossref","is-referenced-by-count":11,"title":["Membrane Computing as a Modeling Framework. Cellular Systems Case Studies"],"prefix":"10.1007","author":[{"given":"Gheorghe","family":"P\u0103un","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco Jos\u00e9","family":"Romero-Campero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-540-31837-8_7","volume-title":"Membrane Computing","author":"O. Andrei","year":"2005","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Executable specification of P systems. In: Mauri, G., et al. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 126\u2013145. Springer, Heidelberg (2005)"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1024943605864","volume":"2","author":"I.I. Ardelean","year":"2003","unstructured":"Ardelean, I.I., Cavaliere, M.: Modelling biological processes by using a probabilistic P system software. Natural Computing\u00a02(2), 173\u2013197 (2003)","journal-title":"Natural Computing"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-31837-8_12","volume-title":"Membrane Computing","author":"D. Besozzi","year":"2005","unstructured":"Besozzi, D., Ciobanu, G.: A P systems description of the sodium-potassium pump. In: Mauri, G., et al. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 210\u2013223. Springer, Heidelberg (2005)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1142\/S0129054106003681","volume":"17","author":"L. Bianco","year":"2006","unstructured":"Bianco, L., Fontana, F., Manca, V.: P systems with reaction maps. International Journal of Foundations of Computer Science\u00a017(1), 27\u201348 (2006)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"6_CR5","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi: Interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1080\/10020070708541019","volume":"17","author":"S. Cheruku","year":"2007","unstructured":"Cheruku, S., Paun, A., Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J., Ibarra, O.H.: Simulating fas-induced apoptosis by using P systems. Progress in Natural Science\u00a017(4), 424\u2013431 (2007)","journal-title":"Progress in Natural Science"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.tcs.2007.03.044","volume":"378","author":"G. Ciobanu","year":"2007","unstructured":"Ciobanu, G., Pan, L., P\u0103un, G.: P systems with minimal parallelism. Theoretical Computer Science\u00a0378(1), 117\u2013130 (2007)","journal-title":"Theoretical Computer Science"},{"key":"6_CR8","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 modelling 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":"6_CR9","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 to differential equations by metabolic P systems. Theoretical Computer Science\u00a0372(2-3), 165\u2013182 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1142\/S0129054105003224","volume":"16","author":"R. Freund","year":"2005","unstructured":"Freund, R.: P systems working in the sequential mode on arrays and strings. International Journal of Foundations of Computer Science\u00a016(4), 663\u2013682 (2005)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","volume":"58","author":"D.T. Gillespie","year":"2007","unstructured":"Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annu. Rev. Phys. Chem.\u00a058, 35\u201355 (2007)","journal-title":"Annu. Rev. Phys. Chem."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P.J. Goss","year":"1998","unstructured":"Goss, P.J., Peccoud, J.: Quantitative modelling of stochastic system in molecular biology by using stochastic petri nets. Proc. Natl. Acad. Sci. USA\u00a095, 6750\u20136755 (1998)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J. Heath","year":"2008","unstructured":"Heath, J., Kwiatkowska, M.Z., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theoretical Computer Science\u00a0391(3), 239\u2013257 (2008)","journal-title":"Theoretical Computer Science"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1462","DOI":"10.1007\/11523468_118","volume-title":"Automata, Languages and Programming","author":"C. Li","year":"2005","unstructured":"Li, C., Dang, Z., Ibarra, O.H., Yen, H.-C.: Signaling p systems and verification problems. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1462\u20131473. Springer, Heidelberg (2005)"},{"key":"6_CR16","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)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Campero, F.J.: P systems, a new computational modelling tool for systems biology. In: Transactions on Computational Systems Biology VI, pp. 176\u2013197 (2006)","DOI":"10.1007\/11880646_8"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1142\/S0129054106003760","volume":"17","author":"D. Pescini","year":"2006","unstructured":"Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic p systems. International Journal of Foundations of Computer Science\u00a017(1), 183\u2013195 (2006)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"6_CR19","unstructured":"Ptashne, M., Gann, A.: Genes and Signals. Cold Spring Harbor Laboratory Press (2002)"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V. Reddy","year":"1996","unstructured":"Reddy, V., Liebman, M., Maverovouniotis, M.: Qualitative analysis of biochemical reaction systems. Computers in Biology and Medicine\u00a026(1), 9\u201324 (1996)","journal-title":"Computers in Biology and Medicine"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E., Silvermann, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theoretical Computer Science\u00a0325, 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"6_CR22","first-page":"1","volume-title":"Modelling in Molecular Biology","author":"A. Regev","year":"2004","unstructured":"Regev, A., Shapiro, E.: The \u03c0-calculus as an abstraction for biomolecular systems. In: Modelling in Molecular Biology, pp. 1\u201350. Springer, Berlin (2004)"},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1162\/artl.2008.14.1.95","volume":"14","author":"F.J. Romero-Campero","year":"2008","unstructured":"Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J.: A model of the quorum sensing system in vibrio fischeri using P systems. Artificial Life\u00a014(1), 95\u2013109 (2008)","journal-title":"Artificial Life"},{"issue":"3","key":"6_CR24","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.biosystems.2007.02.011","volume":"91","author":"F.J. Romero-Campero","year":"2008","unstructured":"Romero-Campero, F.J., P\u00e9rez-Jim\u00e9nez, M.J.: Modelling gene expression control using P systems: The lac operon, a case study. BioSystems\u00a091(3), 438\u2013457 (2008)","journal-title":"BioSystems"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Computational Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68894-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:18:12Z","timestamp":1620015492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68894-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540688921","9783540688945"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68894-5_6","relation":{},"subject":[]}}