Modeling biological gradient formation: combining partial differential equations and Petri nets

Both Petri nets and differential equations are important modeling tools for biological processes. In this paper we demonstrate how these two modeling techniques can be combined to describe biological gradient formation. Parameters derived from partial differential equation describing the process of gradient formation are incorporated in an abstract Petri net model. The quantitative aspects of the resulting model are validated through a case study of gradient formation in the fruit fly.

[1]  Lewis Wolpert,et al.  Principles of Development , 1997 .

[2]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.

[3]  Rüdiger Valk,et al.  Object Petri Nets: Using the Nets-within-Nets Paradigm , 2003, Lectures on Concurrency and Petri Nets.

[4]  Qing Nie,et al.  Do morphogen gradients arise by diffusion? , 2002, Developmental cell.

[5]  Corrado Priami,et al.  Algorithmic systems biology , 2009, CACM.

[6]  Michael Brand,et al.  Endocytosis Controls Spreading and Effective Signaling Range of Fgf8 Protein , 2004, Current Biology.

[7]  Richard Banks,et al.  Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach , 2007, Bioinform..

[8]  Maciej Koutny,et al.  Processes of Petri Nets with Range Testing , 2007, Fundam. Informaticae.

[9]  S. Ellner,et al.  Dynamic Models in Biology , 2006 .

[10]  M. Gonzalez-Gaitan,et al.  Morphogen Gradient Formation and Vesicular Trafficking , 2002, Traffic.

[11]  Jeroen van den Heuvel,et al.  Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response , 2015, Comput..

[12]  Monika Heiner,et al.  A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets , 2007, CMSB.

[13]  Henri E. Bal,et al.  Design Issues for Qualitative Modelling of Biological Cells with Petri Nets , 2008, FMSB.

[14]  Monika Heiner,et al.  Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology , 2013, Petri Nets.

[15]  Gustavo Carrero,et al.  Using FRAP and mathematical modeling to determine the in vivo kinetics of nuclear proteins. , 2003, Methods.

[16]  L. Bertens.  Computerised modelling for developmental biology : an exploration with case studies , 2012 .

[17]  Walter Vogler,et al.  Partial order semantics and read arcs , 1997, Theor. Comput. Sci..

[18]  Y. Kalaidzidis,et al.  Kinetics of Morphogen Gradient Formation , 2007, Science.

[19]  Wolfgang Reisig,et al.  Modeling in Systems Biology, The Petri Net Approach , 2010, Computational Biology.

[20]  J. Gurdon,et al.  Morphogen gradient interpretation , 2001, Nature.

[21]  J. Fischer,et al.  Endocytosis, endosome trafficking, and the regulation of Drosophila development. , 2006, Annual review of cell and developmental biology.

[22]  Hans-Dieter Burkhard.  On priorities of parallelism , 1980, Logic of Programs.

[23]  Monika Heiner,et al.  Snoopy - a unifying Petri net framework to investigate biomolecular networks , 2010, Bioinform..

[24]  Monika Heiner,et al.  From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis , 2006, ICATPN.

[25]  Redaktion,et al.  Carl Adam Petri 1926–2010 – Visionär und bedeutender Wissenschaftler , 2010, Informatik-Spektrum.

[26]  Hiroki Yokota,et al.  Application of Petri Nets in Bone Remodeling , 2009, Gene regulation and systems biology.

[27]  W. Bialek,et al.  Diffusion and scaling during early embryonic pattern formation. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[28]  Claudine Chaouiya,et al.  Petri net modelling of biological networks , 2007, Briefings Bioinform..

[29]  A. Teleman,et al.  Shaping Morphogen Gradients , 2001, Cell.

[30]  C. Petri.  Kommunikation mit Automaten , 1962 .

[31]  Hiroshi Matsuno,et al.  Boundary Formation by Notch Signaling in Drosophila Multicellular Systems: Experimental Observations and Gene Network Modeling by Genomic Object Net , 2002, Pacific Symposium on Biocomputing.

[32]  Hans-Dieter Burhard.  On priorities of parallelism: Petri nets under the maximum firing strategy , 1980 .

[33]  Michael Brand,et al.  Fgf8 morphogen gradient forms by a source-sink mechanism with freely diffusing molecules , 2009, Nature.

[34]  Francesca Rossi,et al.  Contextual nets , 1995, Acta Informatica.

[35]  J. Gurdon,et al.  Single cells can sense their position in a morphogen gradient. , 1999, Development.

[36]  Maciej Koutny,et al.  Process Semantics for Membrane Systems , 2006, J. Autom. Lang. Comb..

[37]  Richard A. Banks,et al.  Qualitatively modelling genetic regulatory networks: Petri net techniques and tools , 2009 .

[38]  C. Tomlin,et al.  Biology by numbers: mathematical modelling in developmental biology , 2007, Nature Reviews Genetics.

[39]  Thomas A. Henzinger,et al.  Biology as reactivity , 2011, Commun. ACM.

[40]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.