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 with symbol-objects into a communicating X-machine model is presented and a variation of temporal logic for X-machines is briefly discussed, which facilitates model checking of desired properties of the system. Finally, the benefits resulting from the transformation are discussed.
Original language | English (US) |
---|---|
Pages (from-to) | 135-148 |
Number of pages | 14 |
Journal | BioSystems |
Volume | 70 |
Issue number | 2 |
DOIs | |
State | Published - Jul 2003 |
All Science Journal Classification (ASJC) codes
- Statistics and Probability
- Modeling and Simulation
- General Biochemistry, Genetics and Molecular Biology
- Applied Mathematics