Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights
From MaRDI portal
Publication:1690502
DOI10.1016/j.nahs.2017.09.002zbMath1382.92117OpenAlexW2763427691MaRDI QIDQ1690502
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
hybrid simulationcell cycle regulationmultisite phosphorylationcoloured hybrid Petri netsmarking-dependent arc weights
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
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
