3-Col problem modelling using simple kernel P systems

DOI10.1080/00207160.2012.743712zbMath1274.68125DBLPjournals/ijcm/GheorgheILPTVGM13OpenAlexW1977183607WikidataQ60539882 ScholiaQ60539882MaRDI QIDQ2852135

Laurenţiu Mierlă, Marian Gheorghe, Adrian Ţurcanu, Florentin Ipate, Mario J. Pérez-Jiménez, Manuel García-Quismondo, Luis Valencia-Cabrera, Raluca Lefticaru

Publication date: 8 October 2013

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle//11441/79752

zbMATH Keywords

formal verificationmembrane computingtissue P systemskernel P systems3-colour problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Descriptive complexity and finite models (68Q19)

Related Items (15)

Probabilistic Guarded P Systems, A New Formal Modelling Framework ⋮ Formal verification of cP systems using Coq ⋮ A Uniform Family of Tissue P Systems with Protein on Cells Solving 3-Coloring in Linear Time ⋮ Kernel P systems: from modelling to verification and testing ⋮ A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time ⋮ Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem ⋮ Towards automated deduction in cP systems ⋮ Kernel P Systems Modelling, Testing and Verification - Sorting Case Study ⋮ Dendrite P systems ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ Alternative representations of P systems solutions to the graph colouring problem ⋮ P system as a computing tool for embedded feature selection and classification method for microarray cancer data ⋮ A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division ⋮ Small Universal Numerical P Systems with Thresholds for Computing Functions

Uses Software

• SPIN
• PROMELA
• jSpin

Cites Work

• Unnamed Item
• Membrane computing. 12th international conference, CMC 2011, Fontainebleau, France, August 23--26, 2011. Revised selected papers
• A rewriting logic framework for operational semantics of membrane systems
• A uniform family of tissue P systems with cell division solving 3-COL in a linear time
• Test generation from P systems using model checking
• Computing with membranes
• Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28--31, 2008. Revised selected and invited papers
• Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers
• Formal Verification of P Systems with Active Membranes through Model Checking
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN

This page was built for publication: 3-Col problem modelling using simple kernel P systems