Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems
Ravie Chandren Muniyandi, Abdullah Mohd. Zin, Zarina Shukor, Ravie C. Muniyandi, Abdullah M. Zin and Zarina Shukor
DOI : 10.3844/jcssp.2010.669.678
Journal of Computer Science
Volume 6, Issue 7
Problem statement: Membrane computing formalism has provided better modeling capabilities for biological systems in comparison to conventional mathematical models. Model checking could be used to reason about the biological system in detail and with precision by verifying formally whether membrane computing model meets the properties of the system. Approach: This study was carried to investigate the preservation of properties of two biological systems that had been modeled and simulated in membrane computing by a method of model checking using PRISM. The two biological systems were prey-predator population and signal processing in the legend-receptor networks of protein TGF-β. Results: The model checking of membrane computing model of the biological systems with five different properties showed that the properties of the biological systems could be preserved in the membrane computing model. Conclusion: Membrane computing model not only provides a better approach in representing and simulating a biological system but also able to sustain the basic properties of the system.
© 2010 Ravie Chandren Muniyandi, Abdullah Mohd. Zin, Zarina Shukor, Ravie C. Muniyandi, Abdullah M. Zin and Zarina Shukor. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.