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

  title={Simulation and verification of P systems through communicating X-machines.},
  author={Pavlos Kefalas and George Eleftherakis and Mike Holcombe and Marian Gheorghe},
  journal={Bio Systems},
  volume={70 2},
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 with symbol-objects into a communicating X-machine model is presented and a variation of temporal logic for X-machines is briefly discussed… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
8 Citations
23 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 23 references

The Origins of Order. Self-Organization and Selection in Evolution

  • S. A. Kauffman
  • 1993
Highly Influential
4 Excerpts

Modelling of a soaking pit furnace in hybrid machines

  • Z. H. Duan, M. Holcombe, D. A. Linkens
  • Syst. Anal. Model. Simulation
  • 1995
Highly Influential
2 Excerpts

Membrane Computing. An Introduction

  • Paun, Gh
  • 2002

Verifying a P system generating squares

  • M. J. Perez-Jimenez, F. Sancho-Caparrini
  • Romanian J. Inf. Sci. Technol
  • 2002

Verifying of Programs in Unconventional Computing Models

  • F. Sancho-Caparrini
  • 2002
2 Excerpts

Similar Papers

Loading similar papers…