Find in Library

We look at the living cells as complex systems of ion pumps working in parallel to ensure proper physiologic functionalities. To model such a system of pumps, we define a simple and elegant approach that allows working with multisets of ions, explicit interpretation of the transportation (from inside to outside, and from outside to inside) based on the number of existing ions, and a maximal parallel execution of the involved pumps.