{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:43:15Z","timestamp":1766086995691,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319143699"},{"type":"electronic","value":"9783319143705"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14370-5_10","type":"book-chapter","created":{"date-parts":[[2014,12,16]],"date-time":"2014-12-16T11:07:01Z","timestamp":1418728021000},"page":"158-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Extended Simulation and Verification Platform for Kernel P Systems"],"prefix":"10.1007","author":[{"given":"Mehmet E.","family":"Bakir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Savas","family":"Konur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurentiu","family":"Mierla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ionut","family":"Niculescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,17]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., Ipate, F.: High performance simulations of kernel P systems. In: The 16th IEEE International Conference on High Performance Computing and Communications (2014)","DOI":"10.1109\/HPCC.2014.69"},{"issue":"17","key":"10_CR2","doi-asserted-by":"publisher","first-page":"6355","DOI":"10.1073\/pnas.0307571101","volume":"101","author":"S Basu","year":"2004","unstructured":"Basu, S., Mehreja, R., Thiberge, S., Chen, M.T., Weiss, R.: Spatio-temporal control of gene expression with pulse-generating networks. PNAS 101(17), 6355\u20136360 (2004)","journal-title":"PNAS"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Blakes, J., Twycross, J., Konur, S., Romero-Campero, F.J., Krasnogor, N., Gheorghe, M.: Infobiotics Workbench: A P systems based tool for systems and synthetic biology. In: [7], pp. 1\u201341. Springer (2014)","DOI":"10.1007\/978-3-319-03191-0_1"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-54239-8_12","volume-title":"Membrane Computing","author":"C Dragomir","year":"2014","unstructured":"Dragomir, C., Ipate, F., Konur, S., Lefticaru, R., Mierla, L.: Model checking kernel P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Yu., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 151\u2013172. Springer, Heidelberg (2014)"},{"key":"10_CR6","unstructured":"FLAME: Flexible large-scale agent modeling environment. http:\/\/www.flame.ac.uk\/"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Frisco, P., Gheorghe, M., P\u00e9rez-Jim\u00e9nez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer (2014)","DOI":"10.1007\/978-3-319-03191-0"},{"key":"10_CR8","unstructured":"Gheorghe, M., Ipate, F., Dragomir, C., Mierl\u0103, L., Valencia-Cabrera, L., Garc\u00eda-Quismondo, M., P\u00e9rez-Jim\u00e9nez, M.J.: Kernel P systems - Version 1. 12th BWMC, pp. 97\u2013124 (2013)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D Gillespie","year":"1976","unstructured":"Gillespie, D.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics 22(4), 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"issue":"5","key":"10_CR10","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 275\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR11","first-page":"165","volume":"6","author":"F Ipate","year":"2003","unstructured":"Ipate, F., B\u0103l\u0103nescu, T., Kefalas, P., Holcombe, M., Eleftherakis, G.: A new model of communicating stream X-machine systems. Romanian Journal of Information Science and Technology 6, 165\u2013184 (2003)","journal-title":"Romanian Journal of Information Science and Technology"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Konur, S., Gheorghe, M., Dragomir, C., Ipate, F., Krasnogor, N.: Conventional verification for unconventional computing: a genetic XOR gate example. Fundamenta Informaticae (2014)","DOI":"10.3233\/FI-2014-1093"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Konur, S., Gheorghe, M., Dragomir, C., Mierla, L., Ipate, F., Krasnogor, N.: Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology (2014)","DOI":"10.1021\/sb500134w"},{"key":"10_CR14","unstructured":"KPWorkbench. http:\/\/kpworkbench.org"},{"key":"10_CR15","unstructured":"Niculescu, I.M., Gheorghe, M., Ipate, F., Stefanescu., A.: From kernel P systems to X-machines and FLAME. Journal of Automata, Languages and Combinatorics (to appear, 2014)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108\u2013143 (2000)","DOI":"10.1006\/jcss.1999.1693"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)","DOI":"10.1007\/978-3-642-11467-0"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-95885-7_5","volume-title":"Membrane Computing","author":"FJ Romero-Campero","year":"2009","unstructured":"Romero-Campero, F.J., Twycross, J., Cao, H., Blakes, J., Krasnogor, N.: A multiscale modeling framework based on P systems. In: Corne, D.W., Frisco, P., P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 63\u201377. Springer, Heidelberg (2009)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Sanassy, D., Fellermann, H., Krasnogor, N., Konur, S., Mierl\u0103, L., Gheorghe, M., Ladroue, C., Kalvala, S.: Modelling and stochastic simulation of synthetic biological boolean gates. In: The 16th IEEE International Conference on High Performance Computing and Communications (2014)","DOI":"10.1109\/HPCC.2014.68"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14370-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:13:14Z","timestamp":1676005994000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14370-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319143699","9783319143705"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14370-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"17 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}