阿曼，博格丹;加布里埃尔·乔巴努 BioMaxP：细胞离子泵的正式方法。 （英语） Zbl 1390.92044号 计算。科学。J.模具。 23，第2期（68），123-134（2015）. 摘要：我们将活细胞视为并行工作的复杂离子泵系统，以确保适当的生理功能。为了对这样一个泵系统进行建模，我们定义了一种简单而优雅的方法，该方法允许使用多组离子，根据现有离子的数量明确解释传输（从内到外，从外到内），并最大限度地并行执行所涉及的泵。 引用于1文件 理学硕士： 92立方37 细胞生物学 第68季度第45季度 形式语言和自动机 关键词：离子泵;运输 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu}，计算。科学。J.模具。23，第2号（68），123--134（2015；Zbl 1390.92044） 全文： 链接