Simulation and verification of P systems through communicating X-machines.

Abstract

The aim of this paper is to prove the suitability of a parallel distributed computational model, communicating X-machines, to simulate in a natural way a well established model of molecular computation, P systems, and to present some further benefits of the approach allowing us to check for some formal properties. A set of rules to transform any P system… (More)

5 Figures and Tables

Cite this paper

@article{Kefalas2003SimulationAV, title={Simulation and verification of P systems through communicating X-machines.}, author={Pavlos Kefalas and George Eleftherakis and Michael L Holcombe and M. Gheorghe}, journal={Bio Systems}, year={2003}, volume={70 2}, pages={135-48} }