Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study
Membrane Computing
Spatial Calculus of Looping Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
P Systems with Transport and Diffusion Membrane Channels
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Evolution and oscillation in p systems: applications to biological phenomena
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Modelling ecological systems with the calculus of wrapped compartments
CMC'12 Proceedings of the 13th international conference on Membrane Computing
An Algorithm for the Identification of Components in Biochemical Pathways
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation of Spatial P system models
Theoretical Computer Science
Hi-index | 0.00 |
We present Spatial P systems, a variant of P systems which embodies the concept of space and position inside a membrane. Objects in membranes are associated with positions. Rules specify, in the usual way, the objects which are consumed and the ones which are produced; in addition, they can specify the positions of the produced objects. Objects belong to two different sets: the set of ordinary objects and the set of mutually exclusive objects. Every position inside a membrane can accommodate an arbitrary number of ordinary objects, but at most one mutually exclusive object. We prove that Spatial P systems are universal even if only non-cooperating rules are allowed. We also show how Spatial P systems can be used to model the evolution of populations in presence of geographical separations.