Abstract
P systems is a model of computation inspired by the way cells live and function. A typical P system consists of nested compartments surrounded by porous membranes, which contain data that are transformed by transformation rules. P systems can be simulated by a distributed computing system, where each compartment of a given system is simulated by a (remote) process, each running on a different node. By adopting a more "liberal" membrane structure where compartments do not necessarily form a tree-structure but a graph-structure, we get a more general model of computation, which we call graph structured P systems. Any instance of the new model can be implemented by a network of virtual machines, called Π machines, where each machine is able to implement the functionality of any simple compartment.
- Agarwal, P. The Cell Programming Language. Artificial Life 2, 1 (1994), 37--77. Google Scholar
Digital Library
- Berry, G., and Boudol, G. The chemical abstract machine. Theoretical Computer Science 96 (1992), 217--248. Google Scholar
Digital Library
- Păun, G. Computing with Membranes. Journal of Computer and System Sciences 61, 1 (2000), 108--143. Google Scholar
Digital Library
- Păun, G. Membrane Computing: An Introduction. Springer-Verlag, Berlin, 2002. Google Scholar
Digital Library
- Romero-Jiménez, A., and J. Pérez-Jiménez, M. Computing Partial Recursive Functions by Transition P Systems. In Membrane Computing, C. Martín-Vide and G. Păun, Eds., no. 2933 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004, pp. 320--340.Google Scholar
- Syropoulos, A. On P Systems and Distributed Computing. In Pre-proceedings of the Fifth Workshop On Membrane Computing (WMC5). 2004, pp. 405--413. Milan, Italy.Google Scholar
- Syropoulos, A., Doumanis, S., and Sotiriades, K. T. Computing Recursive Functions with P Systems. In Pre-proceedings of the Fifth Workshop On Membrane Computing (WMC5). 2004, pp. 414--421. Milan, Italy.Google Scholar
- Syropoulos, A., Mamatas, E. G., Allilomes, P. C., and Sotiriades, K. T. A Distributed Simulation of Transition P Systems. In Membrane Computing, C. Martín-Vide and G. Păun, Eds., no. 2933 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2004, pp. 357--368.Google Scholar
Index Terms
Π machines: virtual machines realizing graph structured transition P systems
Recommendations
π@: a π-based process calculus for the implementation of compartmentalised bio-inspired calculi
SFM'08: Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biologyThe modelling of biological systems led to the explicit introduction of compartments in several bio-oriented process calculi. In this tutorial we show how different compartment semantics can be obtained by means of a simple and conservative extension of ...
Adaptive Gain Control for Spike-Based Map Communication in a Neuromorphic Vision System
To support large numbers of model neurons, neuromorphic vision systems are increasingly adopting a distributed architecture, where different arrays of neurons are located on different chips or processors. Spike-based protocols are used to communicate ...
Video Time Encoding Machines
We investigate architectures for time encoding and time decoding of visual stimuli such as natural and synthetic video streams (movies, animation). The architecture for time encoding is akin to models of the early visual system. It consists of a bank of ...






Comments