Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers PDF
Preview Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Lecture Notes in Computer Science 7762 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Erzsébet Csuhaj-Varjú Marian Gheorghe Grzegorz Rozenberg Arto Salomaa György Vaszil (Eds.) Membrane Computing 13th International Conference, CMC 2012 Budapest, Hungary, August 28-31, 2012 Revised Selected Papers 1 3 VolumeEditors ErzsébetCsuhaj-Varjú EötvösLorándUniversity 1117Budapest,Hungary E-mail:[email protected] MarianGheorghe UniversityofSheffield SheffieldS14DP,UK E-mail:m.gheorghe@sheffield.ac.uk GrzegorzRozenberg LeidenUniversity 2333CALeiden,TheNetherlands E-mail:[email protected] ArtoSalomaa TurkuCentreforComputerScience(TUCS) 20520Turku,Finland E-mail:[email protected].fi GyörgyVaszil UniversityofDebrecen 4028Debrecen,Hungary E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-36750-2 e-ISBN978-3-642-36751-9 DOI10.1007/978-3-642-36751-9 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2013931552 CRSubjectClassification(1998):F.1.1-2,F.2.1-2,D.2.2,K.2 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply, evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws andregulationsandthereforefreeforgeneraluse. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This volume contains a selection of papers presented at CMC13, the 13th In- ternational Conference on Membrane Computing, held in Budapest, Hungary, during August 28–31,2012 (http://www.sztaki.hu/tcs/cmc13/). The CMC serieswasinitiatedby GheorghePa˘unas the WorkshoponMulti- set Processing in the year 2000.Then two workshops on Membrane Computing were organized in Curtea de Arge¸s, Romania, in 2001 and 2002. A selection of papers from these three meetings were published as volume 2235 of the Lecture Notes in Computer Science series, as a special issue of Fundamenta Informat- icae (volume 49, numbers 1–3, 2002), and as volume 2597 of Lecture Notes in Computer Science, respectively. The next six workshops were organized in Tar- ragona, Spain (in July 2003), Milan, Italy (in June 2004), Vienna, Austria (in July 2005), Leiden, The Netherlands (in July 2006), Thessaloniki, Greece (in June 2007), and Edinburgh, UK (in July 2008), with the proceedings published in Lecture Notes in Computer Science as volumes 2933, 3365, 3850, 4361, 4860, and 5391, respectively. The 10th workshop returned to Curtea de Arge¸s in Au- gust 2009 (LNCS volume 5957). From 2010, the series of meetings on membrane computing continued as the Conference on Membrane Computing with the 2010 and 2011 editions held in Jena, Germany (LNCS volume 6501) and in Fontainebleau, France (LNCS vol- ume7184).TodaytheSteeringCommitteeoverseesthecontinuationoftheCMC series, which is organized under the auspices of the European Molecular Com- puting Consortium (EMCC). In October 2012, also a regional version of CMC, the Asian Conference on Membrane Computing, ACMC, took place in Wuhan, China. CMC13wasorganizedbyMTASZTAKI,theComputerandAutomationRe- searchInstitute of the HungarianAcademy of Sciences, in cooperationwith the PhD School of Computer Science of the Faculty of Informatics at the E¨otv¨os Lora´ndUniversityinBudapest,theDepartmentofAlgorithmsandTheirAppli- cations of the Faculty of Informatics at the E¨otv¨os Lora´nd University, and the DepartmentofComputerScienceofthe FacultyofInformaticsattheUniversity of Debrecen. TheProgramCommitteeofCMC13invitedlecturesfromRudolfFreund(Vi- enna, Austria), Vincenzo Manca (Verona, Italy), Solomon Marcus (Bucharest, Romania), and Yurii Rogozhin (Chi¸sin˘au, Moldova). In addition to the regular program,a specialsession,chairedby GabrielCiobanu(Ia¸si,Romania),wasde- voted to“Process Calculi, Petri Nets, and Their Relationships with Membrane Computing.”As part of the celebrations of the Turing Centenary, a special ses- sionwasalsodedicatedto“TuringComputabilityandMembrane Computing as an Unconventional Computing Paradigm”with invited speakers Jozef Kelemen (Bratislava, Slovakia / Opava, Czech Republic), and Mike Stannett (Sheffield, VI Preface UK). Based on the votes of the CMC13 participants, the Best Paper Award of this year’s CMC conference was given to Petr Sos´ık for his paper“Limits of the Power of Tissue P Systems with Cell Division.” In addition to the texts of the invited talks, this volume contains 21 papers out of 25 presented at the conference. Each paper was subject to at least two referee reports for the conference and of an additional one for this volume. TheeditorswarmlythanktheProgramCommittee,theinvitedspeakers,the authors of the papers, the reviewers,and all the participants for their contribu- tions to the success of CMC13. December 2012 Erzs´ebet Csuhaj-Varju´ Marian Gheorghe Grzegorz Rozenberg Arto Salomaa Gy¨orgy Vaszil Organization Program Committee Artiom Alhazov Chi¸sin˘au, Moldova and Milan, Italy Gabriel Ciobanu Ia¸si, Romania Erzs´ebet Csuhaj-Varju´ Budapest, Hungary (Co-chair) Giuditta Franco Verona, Italy Rudolf Freund Vienna, Austria Pierluigi Frisco Edinburgh, UK Marian Gheorghe Sheffield, UK (Co-chair) Oscar H. Ibarra Santa Barbara,USA Florentin Ipate Pite¸sti, Romania Shankara NarayananKrishna Mumbai, India Alberto Leporati Milan, Italy Vincenzo Manca Verona, Italy Maurice Margenstern Metz, France Giancarlo Mauri Milan, Italy Linqiang Pan Wuhan, China Andrei Pa˘un Ruston, USA and Bucharest, Romania Gheorghe Pa˘un Bucharest, Romania and Seville, Spain Mario J. P´erez-Jim´enez Seville, Spain Francisco J. Romero-Campero Seville, Spain Drago¸s Sburlan Constan¸ta, Romania Gy¨orgy Vaszil Debrecen, Hungary (Co-chair) Sergey Verlan Paris, France Claudio Zandron Milan, Italy Steering Committee Gabriel Ciobanu Ia¸si, Romania Erzs´ebet Csuhaj-Varju´ Budapest, Hungary Rudolf Freund Vienna, Austria Pierluigi Frisco Edinburgh, UK Marian Gheorghe Sheffield, UK (Chair) Oscar H. Ibarra Santa Barbara,USA Vincenzo Manca Verona, Italy Maurice Margenstern Metz, France Giancarlo Mauri Milan, Italy Gheorghe Pa˘un Bucharest, Romania and Seville, Spain Mario J. P´erez-Jim´enez Seville, Spain VIII Organization Organizing Committee Erzs´ebet Csuhaj-Varju´ E¨otv¨os Lora´nd University, Budapest Aniko´ Gyo˝ri Kult-Turist-ITH, Budapest Zsolt N´emeth Computer and Automation Research Institute of the Hungarian Academy of Sciences, Budapest Gy¨orgy Vaszil University of Debrecen Table of Contents Invited Papers (Tissue) P Systems with Decaying Objects .......................... 1 Rudolf Freund Alan Turing and John von Neumann - Their Brains and Their Computers ...................................................... 26 Sorin Istrail and Solomon Marcus Turing’s Three Pioneering Initiatives and Their Interplays............. 36 Jozef Kelemen An Outline of MP Modeling Framework ............................ 47 Vincenzo Manca Turing Computability and Membrane Computing .................... 56 Yurii Rogozhin and Artiom Alhazov Membrane Systems and Hypercomputation.......................... 78 Mike Stannett Regular Papers A Case-Study on the Influence of Noise to Log-GainPrinciples for Flux Dynamic Discovery............................................... 88 Tanvir Ahmed, Garrett DeLancy, and Andrei Pa˘un Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN .......... 101 Artiom Alhazov and Rudolf Freund Sequential P Systems with Regular Control ......................... 112 Artiom Alhazov, Rudolf Freund, Hilbert Heikenw¨alder, Marion Oswald, Yurii Rogozhin, and Sergey Verlan Mobile Membranes with Objects on Surface as Colored Petri Nets...... 128 Bogdan Aman and Gabriel Ciobanu On Structures and Behaviors of Spiking Neural P Systems and Petri Nets............................................................ 145 Francis George C. Cabarle and Henry N. Adorna 2D P Colonies ................................................... 161 Ludˇek Cienciala, Lucie Ciencialova´, and Michal Perdek X Table of Contents Fast Distributed DFS Solutions for Edge-Disjoint Paths in Digraphs.... 173 Hossam ElGindy, Radu Nicolescu, and Huiling Wu A New Approach for Solving SAT by P Systems with Active Membranes ..................................................... 195 Zsolt Gazdag and G´abor Kolonits Maintenance of Chronobiological Information by P System Mediated Assembly of Control Units for Oscillatory Waveforms and Frequency ... 208 Thomas Hinze, Benjamin Schell, Mathias Schumann, and Christian Bodenstein Spiking Neural P Systems with Functional Astrocytes ................ 228 Luis F. Mac´ıas-Ramos and Mario J. P´erez-Jim´enez The Efficiency of Tissue P Systems with Cell Separation Relies on the Environment .................................................... 243 Luis F. Mac´ıas-Ramos, Mario J. P´erez-Jim´enez, Agust´ın Riscos-Nu´n˜ez, Miquel Rius-Font, and Luis Valencia-Cabrera DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution .............................................. 257 Miguel A. Mart´ınez-del-Amor, Ignacio P´erez-Hurtado, Manuel Garc´ıa-Quismondo, Luis F. Mac´ıas-Ramos, Luis Valencia-Cabrera, A´lvaro Romero-Jim´enez, Carmen Graciani, Agust´ın Riscos-Nu´n˜ez, Mari A. Colomer, and Mario J. P´erez-Jim´enez Membranes with Boundaries....................................... 277 Tama´s Miha´lydea´k and Zolt´an Ern˝o Csajbo´k On Efficient Algorithms for SAT ................................... 295 Benedek Nagy Multigraphical Membrane Systems Revisited ........................ 311 Adam Obtul(cid:2)owicz An Analysis of Correlative and Static Causality in P Systems.......... 323 Roberto Pagliarini, Oana Agrigoroaiei, Gabriel Ciobanu, and Vincenzo Manca Sublinear-Space P Systems with Active Membranes .................. 342 Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, and Claudio Zandron Modelling Ecological Systems with the Calculus of Wrapped Compartments................................................... 358 Pablo Ram´on and Angelo Troina Table of Contents XI Observer/InterpreterP Systems ................................... 378 Drago¸s Sburlan Limits of the Power of Tissue P Systems with Cell Division ........... 390 Petr Sos´ık Fast Hardware Implementations of P Systems ....................... 404 Sergey Verlan and Juan Quiros Author Index.................................................. 425
The list of books you might like
