3-Col problem modelling using simple kernel P systems

References

• Andrei , O. , Ciobanu , G. and Lucanu , D. 2007 . A rewriting logic framework for operational semantics of membrane systems . Theoret. Comput. Sci. , 373 : 163 – 181 . (doi:10.1016/j.tcs.2006.12.016)
   Web of Science ®Google Scholar
• Ben-Ari , M. 2008 . Principles of the Spin Model Checker , London : Springer .
   Google Scholar
• Ciobanu , G. , Pérez-Jiménez , M. J. and Păun , G. 2006 . “ Applications of Membrane Computing ” . Edited by: Ciobanu , G. , Pérez-Jiménez , M. J. and Păun , G. Berlin : Springer . Natural Computing Series
   Google Scholar
• Dang , Z. , Ibarra , O. H. , Li , C. and Xie , G. 2006 . On the decidability of model-checking for P systems . J. Autom. Lang. Comb. , 11 : 279 – 298 .
   Google Scholar
• Díaz-Pernil , D. , Gutiérrez-Naranjo , M. A. , Pérez-Jiménez , M. J. and Riscos-Núñez , A. 2008 . A uniform family of tissue P systems with cell division solving 3-COL in a linear time . Theoret. Comput. Sci. , 404 : 76 – 87 . (doi:10.1016/j.tcs.2008.04.005)
   Web of Science ®Google Scholar
• Díaz-Pernil , D. , Pérez-Hurtado , I. , Pérez-Jiménez , M. J. and Riscos-Núñez , A. 2009 . “ A P-Lingua programming environment for membrane computing ” . In Membrane Computing – 9th International Workshop, WMC 2008, Revised Selected and Invited Papers , Edited by: Corne , D. W. , Frisco , P. , Pǎun , Gh. , Rozenberg , G. and Salomaa , A. Vol. 5391 , 187 – 203 . Berlin : Springer . Lecture Notes in Computer Science
   Google Scholar
• Gheorghe , M. , Ipate , F. and Dragomir , C. 2012 . “ A kernel P system ” . In Proceedings of 10th Brainstorming Week on Membrane Computing , Edited by: Martínez-del-Amor , M. A. , Pǎun , Gh. , Pérez-Hurtado , I. and Romero-Campero , F. J. 153 – 170 . Seville , , Spain : Fénix Editora .
   Google Scholar
• Gheorghe , M. , Păun , G. , Pérez-Jiménez , M. J. and Rozenberg , G. 2012 . Research frontiers of membrane computing: Open problems and research topics . Int. J. Found. Comput. Sci. , submitted
   Web of Science ®Google Scholar
• Ipate , F. , Gheorghe , M. and Lefticaru , R. 2010 . Test generation from P systems using model checking . J. Log. Algebr. Program. , 79 : 350 – 362 . (doi:10.1016/j.jlap.2010.03.007)
   Google Scholar
• Ipate , F. , Lefticaru , R. and Tudose , C. 2011 . Formal verification of P systems using Spin . Int. J. Found. Comput. Sci. , 22 : 133 – 142 . (doi:10.1142/S0129054111007897)
   Web of Science ®Google Scholar
• Ipate , F. , Lefticaru , R. , Pérez-Hurtado , I. , Pérez-Jiménez , M. J. and Tudose , C. 2011 . “ Formal verification of P systems with active membranes through model checking ” . In International Conference on Membrane Computing , Edited by: Gheorghe , M. , Pǎun , Gh. , Rozenberg , G. , Salomaa , A. and Verlan , S. Vol. 7184 , 215 – 225 . Berlin : Springer . Lecture Notes in Computer Science
   Google Scholar
• Ipate , F. , Dragomir , C. , Lefticaru , R. , Mierlă , L. and Pérez-Jiménez , M. J. 2012 . “ Using a kernel P system to solve the 3-Col problem ” . In Pre-Proceedings of the 13th International Conference on Membrane Computing , Edited by: Csuhaj-Varjú , E. , Gheorghe , M. and Vaszil , G. 243 – 258 . Computer and Automation Research Institute, Hungarian Academy of Sciences .
   Google Scholar
• Lefticaru , R. , Ipate , F. , Valencia Cabrera , L. , Ţurcanu , A. , Tudose , C. , Gheorghe , M. , Pérez-Jiménez , M. J. , Niculescu , I. M. and Dragomir , C. 2012 . “ Towards an integrated approach for model simulation, property extraction and verification of P systems ” . In Proceedings of 10th Brainstorming Week on Membrane Computing , Edited by: Martínez-del-Amor , M. A. , Pǎun , Gh. , Pérez-Hurtado , I. and Romero-Campero , F. J. 291 – 318 . Seville , , Spain : Fénix Editora .
   Google Scholar
• Nicolescu , R. , Dinneen , M. J. and Kim , Y. B. 2009 . “ Structured modelling with hyperdag P systems ” . In Membrane Computing, Seventh Brainstorming Week, BWMC 2009 , Edited by: Gutiérrez-Escudero , R. , Gutiérrez-Naranjo , M. A. , Pǎun , Gh. , Pérez-Hurtado , I. and Riscos-Núñez , A. 85 – 108 . Universidad de Sevilla . vol. Part A
   Google Scholar
• Păun , G. 2000 . Computing with membranes . J. Comput. Syst. Sci. , 61 : 108 – 143 . (doi:10.1006/jcss.1999.1693)
   Web of Science ®Google Scholar
• Păun , G. 2002 . Membrane Computing: An Introduction , Berlin : Springer .
   Google Scholar
• Păun , G. , Rozenberg , G. and Salomaa , A. 2010 . “ The Oxford Handbook of Membrane Computing ” . Edited by: Păun , G. , Rozenberg , G. and Salomaa , A. Oxford : Oxford University Press .
   Google Scholar
• I. Pérez-Hurtado, P-Lingua webpage, 2009. Available at http://www.p-lingua.org.
   Google Scholar
• I. Pérez-Hurtado, L. Valencia-Cabrera, M.J. Pérez-Jiménez, M.A. Colomer, and A. Riscos-Núñez, MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems, IEEE Fifth International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA 2010), Hunan, China, I (2010), pp. 637–643.
   Google Scholar
• L. Valencia-Cabrera, MeCoSim web site, 2010. Available at http://www.p-lingua.org/mecosim.
   Google Scholar