Buscar
Mostrando ítems 1-2 de 2
Ponencia
A Kernel P System
(Fénix Editora, 2012)
A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and studied so far is defined and discussed. It is a relatively low level specification system aiming ...
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...