{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:25:55Z","timestamp":1725524755302},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958840"},{"type":"electronic","value":"9783540958857"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-95885-7_19","type":"book-chapter","created":{"date-parts":[[2009,1,15]],"date-time":"2009-01-15T04:07:19Z","timestamp":1231992439000},"page":"260-273","source":"Crossref","is-referenced-by-count":2,"title":["Transforming State-Based Models to P Systems Models in Practice"],"prefix":"10.1007","author":[{"given":"Petros","family":"Kefalas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioanna","family":"Stamatopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Eleftherakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marian","family":"Gheorghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","first-page":"509","volume":"10","author":"F. Bernardini","year":"2004","unstructured":"Bernardini, F., Gheorghe, M.: Population P systems. J. Universal Computer Sci.\u00a010, 509\u2013539 (2004)","journal-title":"J. Universal Computer Sci."},{"key":"19_CR2","unstructured":"Eleftherakis, G.: Formal Verification of X-machine Models: Towards Formal Development of Computer-based Systems. PhD thesis, Department of Computer Science, University of Sheffield (2003)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/11527800_17","volume-title":"Unconventional Programming Paradigms","author":"M. Gheorghe","year":"2005","unstructured":"Gheorghe, M., Stamatopoulou, I., Holcombe, M., Kefalas, P.: Modelling dynamically organised colonies of bio-entities. In: Ban\u00e2tre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol.\u00a03566, pp. 207\u2013224. Springer, Heidelberg (2005)"},{"key":"19_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, Heidelberg (1998)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1142\/9789812793928_0012","volume-title":"Advances in Informatics","author":"E. Kapeti","year":"2000","unstructured":"Kapeti, E., Kefalas, P.: A design language and tool for X-machines specification. In: Fotiadis, D.I., Spyropoulos, S.D. (eds.) Advances in Informatics, pp. 134\u2013145. World Scientific Publishing Company, Singapore (2000)"},{"key":"19_CR6","unstructured":"Kefalas, P.: XMDL User Manual. CITY College, Thessaloniki, Greece (2000)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/3-540-46014-4_41","volume-title":"Methods and Applications of Artificial Intelligence","author":"P. Kefalas","year":"2002","unstructured":"Kefalas, P.: Formal modelling of reactive agents as an aggregation of simple behaviours. In: Vlahavas, I.P., Spyropoulos, C.D. (eds.) SETN 2002. LNCS (LNAI), vol.\u00a02308, pp. 461\u2013472. Springer, Heidelberg (2002)"},{"key":"19_CR8","unstructured":"Kefalas, P., Eleftherakis, G., Kehris, E.: Modular modelling of large-scale systems using communicating X-machines. In: Manolopoulos, Y., Evripidou, S. (eds.) Proc. 8th Panhellenic Conference in Informatics, pp. 20\u201329. Livanis Publishing Company (2001)"},{"key":"19_CR9","unstructured":"Kefalas, P., Eleftherakis, G., Sotiriadou, A.: Developing tools for formal methods. In: Proc. 9th Panhellenic Conference in Informatics, pp. 625\u2013639 (2003)"},{"key":"19_CR10","unstructured":"Kefalas, P., Stamatopoulou, I., Gheorghe, M.: Principles of transforming communicating X-machines to population P systems. In: Vaszil, G. (ed.) Proc. Intern. Workshop on Automata for Cellular and Molecular Computing (ACMC 2007), pp. 76\u201389 (2007)"},{"key":"19_CR11","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. J. Computer and System Sci.\u00a061, 108\u2013143 (2000)","journal-title":"J. Computer and System Sci."},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-540-31837-8_25","volume-title":"Membrane Computing","author":"I. Stamatopoulou","year":"2005","unstructured":"Stamatopoulou, I., Gheorghe, M., Kefalas, P.: Modelling dynamic organization of biology-inspired multi-agent systems with communicating X-machines and population P systems. In: Mauri, G., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 389\u2013403. Springer, Heidelberg (2005)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Informatics","author":"I. Stamatopoulou","year":"2005","unstructured":"Stamatopoulou, I., Kefalas, P., Eleftherakis, G., Gheorghe, M.: A modelling language and tool for population P systems. In: Bozanis, P., Houstis, E.N. (eds.) PCI 2005. LNCS, vol.\u00a03746. Springer, Heidelberg (2005)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","first-page":"208","volume-title":"Engineering Societies in the Agents World VIII","author":"I. Stamatopoulou","year":"2007","unstructured":"Stamatopoulou, I., Kefalas, P., Gheorghe, M.: OPERAS: a formal framework for multi-agent systems and its application to swarm-based systems. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS, vol.\u00a04995, pp. 208\u2013223. Springer, Heidelberg (2007)"},{"key":"19_CR15","unstructured":"The P Systems webpage, \n                    \n                      http:\/\/ppage.psystems.eu\/index.php\/Software"},{"key":"19_CR16","unstructured":"Thomson, C., Holcombe, M.: Using a formal method to model software design in XP projects. In: Eleftherakis, G. (ed.) Proc. 2nd South-East European Workshop on Formal Methods, pp. 74\u201388 (2005)"},{"key":"19_CR17","unstructured":"Transforming state-based models to P Systems models in practice. Support documentation and demos, \n                    \n                      www.city.academic.gr\/csd\/kefalas\/XMDLtoPPSDL\/index.html"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95885-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T21:24:08Z","timestamp":1551734648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95885-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958840","9783540958857"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95885-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}