Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers PDF
Preview Membrane Computing: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Marian Gheorghe Grzegorz Rozenberg Arto Salomaa Claudio Zandron (Eds.) 5 2 7 0 1 S C Membrane Computing N L 18th International Conference, CMC 2017 Bradford, UK, July 25–28, 2017 Revised Selected Papers 123 Lecture Notes in Computer Science 10725 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7407 Marian Gheorghe Grzegorz Rozenberg (cid:129) Arto Salomaa Claudio Zandron (Eds.) (cid:129) Membrane Computing 18th International Conference, CMC 2017 – Bradford, UK, July 25 28, 2017 Revised Selected Papers 123 Editors Marian Gheorghe ArtoSalomaa University of Bradford Turku Centrefor Computer Science Bradford Turku UK Finland Grzegorz Rozenberg Claudio Zandron Leiden University University of Milan-Bicocca Leiden Milan TheNetherlands Italy ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-73358-6 ISBN978-3-319-73359-3 (eBook) https://doi.org/10.1007/978-3-319-73359-3 LibraryofCongressControlNumber:2017962884 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©SpringerInternationalPublishingAG2018 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the invited contributions and a selection of papers presented at the 18th International Conference on Membrane Computing (CMC 18), which was held in Bradford, UK, during July 25–28, 2017 (further information can be found on the website at the following address: http://computing.brad.ac.uk/cmc18/), as well as one selected paper from the Asian Conference on Membrane Computing (ACMC 2017), which was held in Chengdu, China, during September 21–25, 2017 (website address: http://2017.asiancmc.org/). The CMC series started with three workshops that were organized in Curtea de Argeş,Romania,in2000,2001and2002.TheworkshopswerethenheldinTarragona, Spain (2003), Milan, Italy (2004), Vienna, Austria (2005), Leiden, The Netherlands (2006), Thessaloniki, Greece (2007), and in Edinburgh, UK (2008). The10theditionwasorganizedagaininCurteadeArgeş,inAugust2009,whereit wasdecidedtocontinuetheseriesastheConferenceonMembraneComputing(CMC). The following editions were held in Jena, Germany (2010), Fontainebleau, France (2011), Budapest, Hungary (2012), Chişinău, Moldova (2013), Prague, Czech Republic (2014), Valencia, Spain (2015), and Milan, Italy (2016). A regional version of CMC, the Asian Conference on Membrane Computing, ACMC, started in 2012 in Wuhan (China), and continued in Chengdu, China (2013), Coimbatore,India(2014),Hefei,Anhui,China(2015),andBangi,Selangor,Malaysia (2016). CMC 18 was organized under the auspices of the International Membrane Com- putingSocietyandbytheModelling,TestingandVerificationResearchGroup,School of Electrical Engineering and Computer Science, the University of Bradford, UK. CMC18consistedoftwoparts:standardsessions,heldfromTuesdaytoThursday, and an interaction day between participants, held on Friday. Monday was the arrival day for most of the participants. The standard sessions included invited lectures given by Erzsébet Csuhaj-Varjú (Budapest, Hungary), Harold Fellermann (Newcastle, UK), Michael Fessing (Bradford, UK), and Maciej Koutny (Newcastle, UK). The Best Student Paper Award, sponsored by Springer, was given to the paper “GeneralizedPColonyAutomataandTheirRelationtoPautomata,”byKristófKántor and György Vaszil. The editors expresstheirgratitude tothe Program Committee, theinvitedspeakers, the authors of the papers, the reviewers, and all the participants for their contributions to the success of CMC 18. The support of the School of Electrical Engineering and Computer Science of the University of Bradford and the Prize for the Best Student Paper award granted by Springer are gratefully acknowledged. November 2017 Marian Gheorghe Grzegorz Rozenberg Arto Salomaa Claudio Zandron Organization CMC and ACMC Steering Committee Henry Adorna Quezon City, Philippines Artiom Alhazov Chişinău, Moldova Bogdan Aman Iaşi, Romania Matteo Cavaliere Edinburgh, UK Erzsébet Csuhaj-Varjú Budapest, Hungary Rudolf Freund Vienna, Austria Marian Gheorghe (Honorary Bradford, UK Member) Thomas Hinze Jena, Germany Florentin Ipate Bucharest, Romania Shankara N. Krishna Bombay, India Alberto Leporati Milan, Italy Taishin Y. Nishida Toyama, Japan Linqiang Pan (Co-chair) Wuhan, China Gheorghe Păun (Honorary Bucharest, Romania Member) Mario J. Pérez-Jiménez Seville, Spain Agustín Riscos-Núñez Seville, Spain Petr Sosík Opava, Czech Republic Kumbakonam Govindarajan Penang, Malaysia Subramanian György Vaszil Debrecen, Hungary Sergey Verlan Paris, France Claudio Zandron (Co-chair) Milan, Italy Gexiang Zhang Chengdu, China CMC 18 Organizing Committee Marian Gheorghe (Co-chair) Bradford, UK Savas Konur (Co-chair) Bradford, UK Raluca Lefticaru Bradford, UK (Communication Chair) Daniel Neagu (Publicity Chair) Bradford, UK CMC 18 Program Committee Henry Adorna Quezon City, Philippines Artiom Alhazov Chişinău, Moldova Bogdan Aman Iaşi, Romania VIII Organization Lucie Ciencialová Opava, Czech Republic Erzsébet Csuhaj-Varjú Budapest, Hungary Giuditta Franco Verona, Italy Rudolf Freund Vienna, Austria Marian Gheorghe (Co-chair) Bradford, UK Thomas Hinze Jena, Germany Florentin Ipate Bucharest, Romania Shankara N. Krishna Bombay, India Alberto Leporati Milan, Italy Vincenzo Manca Verona, Italy Giancarlo Mauri Milan, Italy Radu Nicolescu Auckland, New Zealand Linqiang Pan Wuhan, China Gheorghe Păun Bucharest, Romania Mario J. Pérez–Jiménez Seville, Spain Antonio E. Porreca Milan, Italy Agustín Riscos-Núñez Seville, Spain José M. Sempere Valencia, Spain Petr Sosík Opava, Czech Republic György Vaszil Debrecen, Hungary Sergey Verlan Paris, France Claudio Zandron (Co-chair) Milan, Italy Gexiang Zhang Chengdu, China Additional Reviewer Luca Manzoni Milan, Italy Invited Talks Simple and Small: On Two Concepts in P Systems Theory (Extended Abstract) Erzsébet Csuhaj-Varjú Department of AlgorithmsandTheir Applications, Faculty ofInformatics, ELTEEötvös LorándUniversity, PázmányPéter sétány1/c,Budapest, 1117, Hungary [email protected] Inmembranecomputing,alotofresearchhasbeendevotedtothecomputationalpower ofdifferent variants ofP systems,with special emphasis puton modelswith restricted size.Ithasbeenshownthatseveraltypesofmembranesystemsevenwithlimitedsize are very powerful, in some cases as powerful as Turing machines. Usually, the con- sideredsizeparameterswerethenumberofcells(compartmentsornodes),thesizeand the number of rules in the component cells, the number of (distinguished) symbols of the P system or that of its components, even the size of the P system as a whole, represented by a word: all of them are standard static size complexity parameters of computing devices. Investigations in some well-known variants of P systems like standard symbol-object P systems, symport/antiport P systems, generalized commu- nicating P systems, P colonies exemplify these approaches and results (see [3, 6, 8]). Although mainly static size complexity parameters have been in the focus of interest, dynamic parameters, i.e. size parameters under functioning are important characteristics as well since they provide information on the use of the static structure of the P system. That is, the change of (maximum, minimum) number of cells, the (maximum,minimum)numberofexecutedrulesorruletypes,the(maximal,minimal) number of (distinguished) symbols under functioning describe properties of the behaviourofthemembranesystem.Thisproblemareastillhasalotofopenquestions. P systems can also be considered as models of biological complex systems and modelingtoolsforbiological phenomenaatthecellandtissuelevel.From thisaspect, theconceptsmallmayobtainnewinterpretation.Canwestatethatsmallasanotionhas biologicalrelevance?Isacellsmall?Canatissuebeconsideredsmall?Thesequestions motivateustodefinetheconceptofasmallPsystemthatalsoincorporatestherelation of the P system and its environment. From this point of view, those parameters are particularly interesting which describe the relation of the size (some size parameter) ofthePsystemandthatoftheenvironmentavailableorobservableforitscomponents. (NoticethatincaseofcertainPsystemvariantstheenvironmentisgeneratedorwillbe available step by step; see, for example [1, 2].) Simple as a term can also play important role in P systems theory. Several approaches to this concept can be considered, starting from syntactic simplicity to simplicity in functioning. Structural simplicity, among others, may refer to the mutual relationsoftheconstituentsofthemembranesystem.CanaPsystembeobtainedfrom
The list of books you might like
