Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing

Authors:
Qian Gao;David Gilbert;Monika Heiner;Fei Liu;Daniele Maccagnola;David Tree
Affiliations:
Brunel University, Uxbridge;Brunel University, Uxbridge;Brandenburg University of Technology Cottbus, Cottbus;Brandenburg University of Technology Cottbus, Cottbus;Universita degli Studi di Milano-Bicocca, Milan;Brunel University, Uxbridge
Venue:
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Year:
2013

Citing 10
Cited 0

Design/CPN - A Computer Tool for Coloured Petri Nets

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Snoopy - a unifying Petri net framework to investigate biomolecular networks

Bioinformatics
A unifying framework for modelling and analysing biochemical pathways using Petri nets

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Petri nets for systems and synthetic biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets

Proceedings of the 9th International Conference on Computational Methods in Systems Biology
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

QEST '11 Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems
Survey: Computational challenges in systems biology

Computer Science Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.