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)

@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}
}