Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems

Abstract Owing to the availability of data of one biological phenomenon at different levels/scales, modelling of biological systems is moving from single level/scale to multiple levels/scales, which introduces a number of challenges. Coloured Petri nets (ColPNs) have been successfully applied to multilevel, multiscale and multidimensional modelling of some biological systems, addressing many of these challenges. In this article, we first review the basics of ColPNs and some popular extensions, and then their applications for multilevel, multiscale and multidimensional modelling of biological systems. This understanding of how to use ColPNs for modelling biological systems will assist readers in selecting appropriate ColPN classes for specific modelling circumstances.

[1]  Kurt Jensen.  How to Find Invariants for Coloured Petri Nets , 1981, MFCS.

[2]  David R. Gilbert,et al.  A Model Checking Approach to the Parameter Estimation of Biochemical Pathways , 2008, CMSB.

[3]  Martin Schwarick,et al.  Charlie - An Extensible Petri Net Analysis Tool , 2015, Petri Nets.

[4]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[5]  Qian Gao,et al.  A systems biology approach to multi-scale modelling and analysis of planar cell polarity in drosophila melanogaster wing , 2013 .

[6]  Monika Heiner,et al.  Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models , 2017, BMC Systems Biology.

[7]  Diana-Elena Gratie,et al.  Refinement of biomodels using Petri nets , 2016 .

[8]  Ming Yang,et al.  MODELING AND ANALYZING BIOLOGICAL SYSTEMS USING COLORED HIERARCHICAL PETRI NETS ILLUSTRATED BY C. ELEGANS VULVAL DEVELOPMENT , 2014 .

[9]  Monika Heiner,et al.  Modeling membrane systems using colored stochastic Petri nets , 2013, Natural Computing.

[10]  LiuFei,et al.  Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing , 2013 .

[11]  Corrado Priami,et al.  Transactions on Computational Systems Biology VI , 2006, Trans. Computational Systems Biology.

[12]  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.

[13]  Lydia E. Kavraki,et al.  Computational challenges in systems biology , 2009, Comput. Sci. Rev..

[14]  Andrew J. Millar,et al.  Chromar, a language of parameterised agents , 2019, Theor. Comput. Sci..

[15]  Monika Heiner,et al.  Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets , 2001 .

[16]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[17]  John C. Dallon,et al.  Multiscale modeling of cellular systems in biology , 2010 .

[18]  Henri E. Bal,et al.  Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development , 2009, Bioinform..

[19]  Monika Heiner,et al.  A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets , 2011, CMSB.

[20]  Cristian Gratie,et al.  Composition Colored Petri Nets for the Refinement of Reaction-based Models , 2016, SASB.

[21]  Jonathan R. Karr,et al.  The principles of whole-cell modeling. , 2015, Current opinion in microbiology.

[22]  G. Plotkin,et al.  Chromar, a language of parameterised objects , 2017 .

[23]  Bernard P. Zeigler,et al.  Discrete Event Multi-level Models for Systems Biology , 2005, Trans. Comp. Sys. Biology.

[24]  van der,et al.  Proceedings of the 2012 winter simulation conference , 2001, WSC 2008.

[25]  Monika Heiner,et al.  JAK/STAT signalling--an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology. , 2012, Molecular bioSystems.

[26]  Stephan Merz,et al.  Model Checking , 2000 .

[27]  D. Tree,et al.  Multi-cell Modelling Using Coloured Petri Nets Applied to Planar Cell Polarity , 2011 .

[28]  David Gilbert,et al.  A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking , 2016, PloS one.

[29]  Gianfranco Ciardo,et al.  Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis , 1994, Application and Theory of Petri Nets.

[30]  Ming Yang,et al.  Modelling and simulating reaction-diffusion systems using coloured Petri nets , 2014, Comput. Biol. Medicine.

[31]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[32]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[33]  Ming Yang,et al.  Colored Petri nets for multiscale systems biology - Current modeling and analysis capabilities in snoopy , 2013, 2013 7th International Conference on Systems Biology (ISB).

[34]  Corrado Priami.  Transactions on Computational Systems Biology I , 2005, Trans. Computational Systems Biology.

[35]  Ming Yang,et al.  Representing network reconstruction solutions with colored Petri nets , 2016, Neurocomputing.

[36]  Doktor der Naturwissenschaften.  Colored Petri Nets for Systems Biology , 2012 .

[37]  Christian Rohr,et al.  Coloured hybrid Petri nets for systems biology , 2014, BioPPN@Petri Nets.

[38]  Russell C. H. Cheng,et al.  A practical introduction to analysis of simulation output data , 2013, 2016 Winter Simulation Conference (WSC).

[39]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[40]  Computational modeling of mycobacterium infection and innate immune reponse in zebrafish , 2015 .

[41]  Måns Ehrenberg,et al.  Mesoscopic reaction-diffusion in intracellular signaling , 2003, SPIE International Symposium on Fluctuations and Noise.

[42]  David R. Gilbert,et al.  Automatic validation of computational models using pseudo-3D spatio-temporal model checking , 2014, BMC Systems Biology.

[43]  Annegret Wagler,et al.  A mathematical approach to solve the network reconstruction problem , 2008, Math. Methods Oper. Res..

[44]  Martin Schwarick,et al.  MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[45]  Henri E. Bal,et al.  Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development , 2009, Bioinform..

[46]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[47]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[48]  Monika Heiner,et al.  Spatial-Temporal Modelling and Analysis of Bacterial Colonies with Phase Variable Genes , 2015, ACM Trans. Model. Comput. Simul..

[49]  Monika Heiner,et al.  Steady state analysis of metabolic pathways using Petri nets , 2003, Silico Biol..

[50]  Marta Z. Kwiatkowska,et al.  Model checking for probability and time: from theory to practice , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[51]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[52]  Monika Heiner,et al.  Hybrid representation and simulation of stiff biochemical networks , 2012 .

[53]  Sunwon Park,et al.  Colored Petri net modeling and simulation of signal transduction pathways. , 2006, Metabolic engineering.

[54]  A. Aderem.  Systems Biology: Its Practice and Challenges , 2005, Cell.

[55]  H. Kitano.  Systems Biology: A Brief Overview , 2002, Science.

[56]  Peter J. Haas,et al.  On Transience and Recurrence in Irreducible Finite-State Stochastic Systems , 2015, ACM Trans. Model. Comput. Simul..

[57]  Ming Yang,et al.  Compositional colored Petri net approach to multiscale modeling for systems biology , 2014, Int. J. Model. Simul. Sci. Comput..

[58]  François Fages,et al.  Machine Learning Biochemical Networks from Temporal Logic Properties , 2006, Trans. Comp. Sys. Biology.

[59]  Fons J. Verbeek,et al.  Modeling Innate Immune Response to Early Mycobacterium Infection , 2012, Comput. Math. Methods Medicine.

[60]  Monika Heiner,et al.  Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights , 2018 .

[61]  Monika Heiner,et al.  Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks , 2018, Comput. Biol. Chem..

[62]  A. Kupfer,et al.  Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets , 2006, 2006 International Conference of the IEEE Engineering in Medicine and Biology Society.

[63]  Jafar Ghaisari,et al.  Colored petri net modeling of small interfering RNA-mediated messenger RNA degradation , 2016, Advanced biomedical research.

[64]  Monika Heiner,et al.  Modelling and Analysis of Phase Variation in Bacterial Colony Growth , 2013, CMSB.

[65]  Adelinde M. Uhrmacher,et al.  Rule-based multi-level modeling of cell biological systems , 2011, BMC Systems Biology.

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

[67]  Ming Yang,et al.  An efficient method for unfolding colored Petri nets , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

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

[69]  Xavier Rubio-Campillo,et al.  Proceedings of the 2015 Winter Simulation Conference , 2015 .

[70]  Monika Heiner,et al.  Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets. , 2013, IET systems biology.

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

[72]  Marco Beccuti,et al.  GreatSPN Enhanced with Decision Diagram Data Structures , 2010, Petri Nets.

[73]  Masaru Tomita,et al.  Space in systems biology of signaling pathways – towards intracellular molecular crowding in silico , 2005, FEBS letters.

[74]  Averill M. Law,et al.  Statistical analysis of simulation output data: the practical state of the art , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[75]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[76]  Monika Heiner,et al.  BioModel engineering for multiscale Systems Biology. , 2013, Progress in biophysics and molecular biology.

[77]  Mary Ann Blätke.  Biomodelkit - a framework for modular biomodel-engineering , 2017 .

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

[79]  James Hetherington,et al.  Computational challenges of systems biology , 2004, Computer.

[80]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[81]  Marta Simeoni,et al.  Petri nets for modelling metabolic pathways: a survey , 2010, Natural Computing.

[82]  Michael L. Mavrovouniotis,et al.  Petri Net Representations in Metabolic Pathways , 1993, ISMB.

[83]  Gabriel A. Wainer,et al.  Proceedings of the 2016 Winter Simulation Conference , 2016 .

[84]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[85]  Salvatore Cavalieri,et al.  A methodological approach for using high-level Petri Nets to model the immune system response , 2016, BMC Bioinformatics.

[86]  Zbigniew J. Czech,et al.  Introduction to Parallel Computing , 2017 .