Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights

DOI10.1016/j.nahs.2017.09.002zbMath1382.92117OpenAlexW2763427691MaRDI QIDQ1690502

Peng Zhang

Publication date: 19 January 2018

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2017.09.002

zbMATH Keywords

hybrid simulationcell cycle regulationmultisite phosphorylationcoloured hybrid Petri netsmarking-dependent arc weights

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37) Computational methods for problems pertaining to biology (92-08)

Uses Software

• SUNDIALS
• SNOOPY
• Cell Illustrator

Cites Work

• Unnamed Item
• SUNDIALS
• Individuals, populations and fluid approximations: a Petri net based perspective
• Hybrid representation and simulation of stiff biochemical networks
• A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts
• First-order hybrid Petri nets. An application to distributed manufacturing systems
• Coloured Petri nets and the invariant-method
• Hybrid Petri net based modeling for biological pathway simulation
• Antagonism and bistability in protein interaction networks
• Stochastic Petri net extension of a yeast cell cycle model
• Modeling and analysis using hybrid Petri nets
• Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle
• Coloured Petri Nets
• From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
• Understanding Petri Nets
• Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets
• Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology