The Community for Technology Leaders
RSS Icon
Issue No.02 - March-April (2013 vol.10)
pp: 337-351
Qian Gao , Sch. of Inf. Syst., Comput., & Math., Brunel Univ., Uxbridge, UK
David Gilbert , Sch. of Inf. Syst., Comput., & Math., Brunel Univ., Uxbridge, UK
Monika Heiner , Fac. of Math., Natural Sci. & Comput. Sci., Brandenburg Univ. of Technol. Cottbus, Cottbus, Germany
Fei Liu , Control & Simulation Center, Harbin Inst. of Technol. Sci. Park, Harbin, China
Daniele Maccagnola , Dept. of Comput. Sci. (DISCo), Univ. of Milano-Bicocca, Milano, Italy
David Tree , Sch. of Health Sci. & Social Care, Brunel Univ., Uxbridge, UK
Modeling across multiple scales is a current challenge in Systems Biology, especially when applied to multicellular organisms. In this paper, we present an approach to model at different spatial scales, using the new concept of Hierarchically Colored Petri Nets (HCPN). We apply HCPN to model a tissue comprising multiple cells hexagonally packed in a honeycomb formation in order to describe the phenomenon of Planar Cell Polarity (PCP) signaling in Drosophila wing. We have constructed a family of related models, permitting different hypotheses to be explored regarding the mechanisms underlying PCP. In addition our models include the effect of well-studied genetic mutations. We have applied a set of analytical techniques including clustering and model checking over time series of primary and secondary data. Our models support the interpretation of biological observations reported in the literature.
Biological system modeling, Color, Petri nets, Proteins, Mathematical model, Image color analysis, Analytical models,model checking, Biological system modeling, Color, Petri nets, Proteins, Mathematical model, Image color analysis, Analytical models, planar cell polarity, Hierarchically colored Petri nets, continuous Petri nets, ordinary differential equations, multiscale modeling, continuous simulation, cluster analysis
Qian Gao, David Gilbert, Monika Heiner, Fei Liu, Daniele Maccagnola, David Tree, "Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing", IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.10, no. 2, pp. 337-351, March-April 2013, doi:10.1109/TCBB.2012.101
[1] K. Amonlirdviman, N.A. Khare, D.R.P. Tree, W.S. Chen, J.D. Axelrod, and C.J. Tomlin, "Mathematical Modeling of Planar Cell Polarity to Understand Domineering Nonautonomy," Science, vol. 307, pp. 423-426, 2005.
[2] J.D. Axelrod, "Unipolar Membrane Association of Dishevelled Mediates Frizzled Planar Cell Polarity Signaling," Genes and Development, vol. 15, pp. 1182-1187, 2001.
[3] J.D. Axelrod and C.J. Tomlin, "Modeling the Control of Planar Cell Polarity," WIREs Systems Biology and Medicine, vol. 3, pp. 588-605, 2011.
[4] N. Bahi-Jaber and D. Pontier, "Modeling Transmission of Directly Transmitted Infectious Diseases Using Colored Stochastic Petri Nets," Math. Biosciences, vol. 185, pp. 1-13, 2003.
[5] J. Barrow, "Wnt/PCP Signaling: A Veritable Polar Star in Establishing Patterns of Polarity in Embryonic Tissues," Seminars in Cell and Developmental Biology, vol. 17, no. 2, pp. 185-193, 2006.
[6] S.C. Brailsford, C.N. Potts, and B.M. Smith, "Constraint Satisfaction Problems: Algorithms and Applications," European J. Operational Research, vol. 119, no. 3, pp. 557-581, 1999.
[7] Y. Burak and B.I. Shraiman, "Order and Stochastic Dynamic in Drosophila Planar Cell Polarity," PLoS Computational Biology, vol. 5, no. 12, p. e1000628, 2009.
[8] S. Christensen, J.B. Jørgensen, and L.M. Kristensen, "Design/CPN-A Computer Tool for Coloured Petri Nets," Proc. Third Int'l Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Springer LNCS 1217, pp. 209-223, 1997.
[9] M. Daszykowski, B. Walczak, and D. Massart, "Looking for Natural Patterns in Data: Part 1. Density-Based Approach," Chemometrics and Intelligent Laboratory Systems, vol. 56, no. 2, pp. 83-92, 2001.
[10] R. Donaldson and D. Gilbert, "A Model Checking Approach to the Parameter Estimation of Biochemical Pathways," Proc. Sixth Conf. Computational Methods in Systems Biology (CMSB '08), Springer LNCS/LNBI 5307, pp. 269-287, 2008.
[11] M. Ester, H.-P. Kriegel, J. Sander, and X. Xu, "A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise," Proc. Second Int'l Conf. Knowledge Discovery and Data Mining (KDD), pp. 226-231, 1996.
[12] Q. Gao, F. Liu, D. Gilbert, M. Heiner, and D. Tree, "A Multiscale Approach to modeling Planar Cell Polarity in Drosophila Wing Using Hierarchically Coloured Petri Nets," Proc. Ninth Int'l Conf. Computational Methods in Systems Biology (CMSB '11), pp. 209-218, Sept. 2011.
[13] Gecode, Gecode: An Open Constraint Solving Library, 2011.
[14] H. Genrich, R. Küffner, and K. Voss, "Executable Petri Net Models for the Analysis of Metabolic Pathways," Int'l J. Software Tools for Technology Transfer, vol. 3, no. 4, pp. 394-404, 2001.
[15] D. Gilbert, M. Heiner, and S. Lehrack, "A Unifying Framework for modeling and Analysing Biochemical Pathways Using Petri Nets," Proc. Int'l Conf. Computational Methods in Systems Biology (CMSB '07), Springer LNCS/LNBI 4695, 2007.
[16] A.P. Heath and L.E. Kavraki, "Computational Challenges in Systems Biology," Computer Science Rev., vol. 3, no. 1, pp. 1-17, 2009.
[17] M. Heiner, D. Gilbert, and R. Donaldson, "Petri Nets in Systems and Synthetic Biology," Proc. Formal Methods for the Design of Computer, Comm., and Software Systems Eight Int'l Conf. Formal Methods for Computational Systems Biology, Springer LNCS 5016, pp. 215-264, 2008.
[18] K. Jensen, "Coloured Petri Nets and the Invariant-Method," Theoretical Computer Science, vol. 14, pp. 317-336, 1981.
[19] K. Jensen and L.M. Kristensen, Coloured Petri Nets. Springer, 2009.
[20] K. Jensen, L.M. Kristensen, and L.M. Wells, "Coloured Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems," Int'l J. Software Tools for Technology Transfer, vol. 9, no. 3/4, pp. 213-254, 2007.
[21] I.T. Jolliffe, Principal Component Analysis. Springer-Verlag, 1986.
[22] P.A. Lawrence, G. Struhl, and J. Casal, "Planar Cell Polarity: A Bridge Too Far?" Current Biology, vol. 18, no. 20, pp. 959-961, 2010.
[23] J.F. Le Garrec and M. Kerszberg, "Modeling Polarity Buildup and Cell Fate Decision in the Fly Eye: Insight Into the Connection between the Pcp and Notch Pathways," Development Genes and Evolution, vol. 218, pp. 413-426, 2008.
[24] J.F. Le Garrec, P. Lopez, and M. Kerszberg, "Establishment and Maintenance of Planar Epithelial Cell Polarity by Asymmetric Cadherin Bridges: A Computer Model," Development Dynamics, vol. 235, pp. 235-246, 2006.
[25] D. Lee, R. Zimmer, S. Lee, and S. Park, "Colored Petri Net Modeling and Simulation of Signal Transduction Pathways," Metabolic Eng., vol. 8, pp. 112-122, 2006.
[26] F. Liu, "Colored Petri Nets for Systems Biology," PhD thesis, Brandenburg Univ. of Technology Cottbus, Department of Computer Science, Jan. 2012.
[27] F. Liu and M. Heiner, "Colored Petri Nets to Model and Simulate Biological Systems," Proc. Int'l Workshop Biological Processes and Petri nets (BioPPN), Satellite Event of Petri Nets, June 2010.
[28] F. Liu and M. Heiner, "Manual for Colored Petri Nets in Snoopy," technical report, Brandenburg Univ. of Technology Cottbus, Department of Computer Science, July 2011.
[29] D. Ma, C.H. Yang, H. McNeill, and M.A. Simon, "Fideility in Planar Cell Polarity in Drosophila," Nature, vol. 421, pp. 543-547, 2003.
[30] J. MacQueen, "Some Methods for Classification and Analysis of Multivariate Observations," Proc. Fifth Berkeley Symp. Math. Statistics and Probability, pp. 281-297, 1965.
[31] MATLAB, version 7.11.0, The MathWorks, Inc., Natick, Massachusetts, 2011.
[32] M. Povelones and R. Nusse, "The Role of the Cysteine-Rich Domain of Frizzled in Wingless-Armadillo Signaling," EMBO J., vol. 24, pp. 3493-3503, 2005.
[33] R.L. Raffard, K. Amonlirdviman, J.D. Axelrod, and C.J. Tomlin, "An Adjoint-Based Parameter Identification Algorithm Applied to Planar Cell Polarity Signaling," IEEE Trans. Automatic Control, special issue on systems biology, vol. 53, pp. 109-121, Jan. 2008, doi:10.1109/TAC.2007.911362.
[34] C. Rohr, W. Marwan, and M. Heiner, "Snoopy - A Unifying Petri Net Framework to Investigate Biomolecular Networks," Bioinformatics, vol. 26, no. 7, pp. 974-975, 2010.
[35] S. Schamberg, P. Houston, N.A.M. Monk, and M.R. Owen, "modeling and Analysis of Planar Cell Polarity," Bull. of Math. Biology, vol. 72, pp. 645-680, 2010.
[36] M. Schwarick, C. Rohr, and M. Heiner, "Marcie - Model Checking and Reachability Analysis Done Efficiently," Proc. Eighth Int'l Conf. Quantitative Evaluation of SysTems (QEST '11), pp. 91-100, Sept. 2011.
[37] Y. Shimada, S. Yonemura, H. Ohkura, D. Strutt, and T. Uemura, "Polarized Transport of Frizzled Along the Planar Microtubule Arrays in Drosophila Wing Epithelium," Developmental Cell, vol. 10, pp. 209-222, 2006.
[38] M. Simons and M. Mlodzik, "Planar Cell Polarity Signaling: From Fly Development to Human Disease," Ann. Rev. of Genetics, vol. 42, pp. 517-540, 2008.
[39] D.I. Strutt, "Asymmetric Localization of Frizzled and the Establishment of Cell Polarity in the Drosophila Wing," Molecular Cell, vol. 7, pp. 367-375, 2001.
[40] D.I. Strutt, "Asymmetric Localization of Frizzled and the Establishment of Cell Polarity in the Drosophila Wing," Molecular Cell, vol. 7, pp. 367-375, 2002.
[41] D.R.P. Tree, J.M. Shulman, R. Rousset, M. Scott, D. Gubb, and J.D. Axelrod, "Prickle Mediates Feedback Amplification to Generate Asymmetric Planar Cell Polarity Signaling," Cell, vol. 109, pp. 371-381, 2002.
[42] E.P.K. Tsang, Foundations of Constraint Satisfaction. Academic Press, 1993.
[43] R. Valk, "Petri Nets as Token Objects: An Introduction to Elementary Object Nets," Proc. 19th Int'l Conf. Application and Theory of Petri Nets, Springer LNCS 1420, pp. 1-25, 1998.
[44] C.R. Vinson and P.N. Adler, "Directional Non-Cell Autonomy and the Transmission of Polarity Information by the Frizzled Gene of Drosophila," Nature, vol. 14, no. 329, pp. 549-551, 1987.
[45] K. Voss, M. Heiner, and I. Koch, "Steady State Analysis of Metabolic Pathways Using Petri Nets," Silico Biology, vol. 3, pp. 367-387, 2003.
[46] C. Yang, J.D. Axelrod, and M.A. Simon, "Regulation of Frizzled by Fat-Like Cadherins During Planar Polarity Signaling in the Drosophila Compound Eye," Cell, vol. 108, pp. 675-688, 2002.
104 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool