Journal Article10.1587/TRANSFUN.E93.A.2717
Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information
6
TL;DR: A method to incorporate the concept of time for the inclusion of dynamics of signaling pathway in a Petri net model, i.e., to use timed Petri nets, and the suitability of this algorithm has been confirmed by the results of an application to the IL-1 signaling pathway.
read more
Abstract: This paper proposes a method to incorporate the concept of time for the inclusion of dynamics of signaling pathway in a Petri net model, i.e., to use timed Petri nets. Incorporation of delay times into a Petri net model makes it possible to conduct quantitative evaluation on a target signaling pathway. However, experimental data describing detailed reactions are not available in most cases. An algorithm given in this paper determines delay times of a timed Petri net only from the structural information of it. The suitability of this algorithm has been confirmed by the results of an application to the IL-1 signaling pathway.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Gene Networks: Estimation, Modeling, and Simulation
Seiya Imoto,Hiroshi Matsuno,Satoru Miyano +2 more
- 01 Jan 2014
TL;DR: This chapter describes the computational methods for estimating, modeling, and simulating biological systems, and devised a method to infer a gene network in terms of a linear system of differential equations from time-course gene expression data.
3
Two modeling methods for signaling pathways with multiple signals using UPPAAL
Shota Nakano,Shingo Yamaguchi +1 more
- 01 Jan 2011
TL;DR: This paper proposes two modeling methods for sig- naling pathways with multiple signals that transform a Petri net model of a signaling pathway to an automaton model of UPPAAL, and finds that the single automaton modeling method is more effective than the multiple automata model- ing method from the viewpoint of the number of signals, theNumber of states explored, and checking time.
Dependent shrink for Petri net models of signaling pathways.
Atsushi Mizuta,Qi-Wei Ge,Hiroshi Matsuno +2 more
- 01 Jan 2015
TL;DR: This paper introduces a modeling method for signaling pathway by using Petri net, giving properties of retention-freeness by considering arc weight, and proposes an algorithm to find shrinkable transitions and to shrink them into a single transition.
Network Based Simulation on HPC for Translational Medicine: an Application to Anticoagulation
D Castaldi
- 25 Jul 2014
TL;DR: The projec developed in collaboration with Professor D.Mari, Ospedale Maggiore Policlinico of Milan, the expert advice on anticoagulation in elderly is given.
References
•Book
Metabolic Engineering: Principles and Methodologies
Gregory Stephanopoulos,Aristos Aristidou,Jens Nielsen +2 more
- 16 Oct 1998
TL;DR: The Essence of Metabolic Engineering, a review of Cellular Metabolism, and Examples of Pathway Manipulations: Metabolic engineering in Practice are reviewed.
1.2K
•Book
Discrete, continuous, and hybrid Petri Nets
Ren David,Hassane Alla +1 more
- 23 Nov 2004
TL;DR: This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri nets, while preserving the consistency of basic concepts throughout the book.
1K
Mathematical models of protein kinase signal transduction.
TL;DR: This work has developed a mathematical theory that describes the regulation of signaling pathways as a function of a limited number of key parameters and finds that phosphatases have a more pronounced effect than kinases on the rate and duration of signaling, whereas signal amplitude is controlled primarily by kinases.
579
Petri nets for systems and synthetic biology
Monika Heiner,David Gilbert,Robin Donaldson +2 more
- 02 Jun 2008
TL;DR: A Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms, is given, which can be applied more widely to other formalisms used to model and analyse biochemical networks.