Modeling framework for membrane computing in biological systems: Evaluation with a case study

Membrane computing can represent the structures and behaviors of biological systems while considering their characteristics. This paper proposes a modeling framework for membrane computing in biological systems to provide guidelines when using and experimenting with membrane computing. The framework processes include the biological requirements and property specifications, membrane computing model, membrane computing simulation strategy, and model checking approach. A biological system that comprised the ligand receptor networks of TGF-beta protein was used as a case study to evaluate the framework. The evaluation of the framework demonstrated that membrane computing performed better than conventional ordinary differential equations when capturing the structure and behavior of biological systems. (C) 2013 Elsevier B.V. All rights reserved.