Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
P Automata or Purely Communicating Accepting P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
Describing the Immune System Using Enhanced Mobile Membranes
Electronic Notes in Theoretical Computer Science (ENTCS)
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
(tissue) p systems with cell polarity
Mathematical Structures in Computer Science
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Membrane computing as a modeling framework: cellular systems case studies
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 biology
Formalizing spherical membrane structures and membrane proteins populations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
| Hi-index | 0.00 |
The sodium-potassium pump is a fundamental transmembrane protein present in all animal cells. The functioning of the pump is described and analyzed in the formal framework of P systems, considered here as tools for modelling a bio-cellular process. New features such as variable membrane labelling, activation conditions for rules, membrane bilayer and specific communication rules are defined, to the aim of providing a more appropriate description of the pump. A Sevilla carpet of the sodium-potassium pump is given, as a starting point to identify the pumps as the processors able to execute the rules of a high-level P system in a maximal parallel and nondeterministic manner, activated and controlled by steady-state concentrations. Some related topics for further research are proposed.