Related Experiment Video
Updated: Jul 11, 2026

Rapid in-silico Battery Electrolyte Electrochemical Reaction Generation using 3T-VASP Multi-Scale Energy Minimization
Published on: August 22, 2025
Simulation of a bounded symport/antiport P system with Brane calculi
Antonio Vitale1, Giancarlo Mauri, Claudio Zandron
1Università degli Studi di Milano-Bicocca, Dipartimento di Informatica, Sistemistica e Comunicazione, Via Bicocca degli Arcimboldi 8, 20126 Milano, Italy. antonio.vitale@studenti.unimib.it
Abstract:
Membrane systems (also called P systems) and Brane calculi have been recently introduced as formal models inspired by the structure and the functioning of living cells, but having in mind different goals. The aim of Membrane systems was the formal investigation of the computational nature and power of various features of the cell, while Brane calculi aims to define a model capable of a faithful and intuitive representation of various biological processes. The common background of the two formalisms and the recent growing of interests in applying P systems in Systems Biology have raised the natural question of bridging this two research areas. The present paper goes in this direction, as it presents a direct simulation of a variant of P systems by means of Brane calculi. In particular, we consider a Brane calculus based on three operations called Mate/Bud/Drip, and we show how to use such system to simulate Simple symport/antiport P systems, a variant of P systems purely based on communication of objects. As an example, a simplified sodium-potassium pump modeled in Simple SA is encoded in Mate/Bud/Drip Brane calculus.
Related Concept Videos
The Significance of Membrane Transport
Transporters facilitate either an active or passive movement of solutes. They can allow a single-molecule transport down its...
Membrane Asymmetry Regulating Transporters
Flippase
Eukaryotic flippases are type-IV P-type ATPases or P4-ATPases belonging to P-type ATPase family proteins that are membrane-bound pumps involved in the ATP-mediated transport of ions and molecules across the membrane. Flippases flip specific phospholipids from the outer to the inner leaflet of a membrane. All P4-ATPases have one...
Pore Transport and Ion-Pair Transport
Pore transport, also known as convective transport, is a process where small molecules like urea, water, and sugars rapidly cross cell membranes as though there were channels or pores in the membrane. Although direct microscopic evidence is limited but the concept of pores or channels is widely accepted based on physiological evidence. Despite the lack of direct microscopic...
Secondary Active Transport
Secondary Active Transport
ATP Driven Pumps II: P-type Pumps
A typical P-type pump has three cytosolic domains: nucleotide-binding (N), phosphorylation (P), and activator (A) domains. These domains are connected to the membrane-spanning helices by short amino acid segments. ATP hydrolysis and covalent phosphoenzyme intermediate formation are crucial parts of the catalytic cycle. At the highly...

