TY - JOUR
T1 - Simplification of a complex signal transduction model using invariants and flow equivalent servers
AU - Cordero, Francesca
AU - Horváth, András
AU - Manini, Daniele
AU - Napione, Lucia
AU - De Pierro, Massimiliano
AU - Pavan, Simona
AU - Picco, Andrea
AU - Veglio, Andrea
AU - Sereno, Matteo
AU - Bussolino, Federico
AU - Balbo, Gianfranco
PY - 2011/10/7
Y1 - 2011/10/7
N2 - In this paper we consider the modeling of a portion of the signal transduction pathway involved in the angiogenic process. The detailed model of this process is affected by a high level of complexity due to the functional properties that are represented and the size of its state space. To overcome these problems, we suggest approaches to simplify the detailed representation that result in models with alower computational and structural complexity, while still capturing the overall behavior of the detailed one. The simplification process must take into account both the structural aspects and the quantitative behavior of the original model. To control the simplification from a structural point of view, we propose a set of reduction steps that maintain the invariants of the original model. To ensure the correspondence between the simplified and the original models froma quantitative point ofview weuse the flow equivalent method that provides a way of obtaining the parameters of the simplified model on the basis of those of the original one. To support the proposed methodology we show that a good agreement exists among the temporal evolutions of the relevant biological products in the simplified and detailed model evaluated with a large set of input parameters.
AB - In this paper we consider the modeling of a portion of the signal transduction pathway involved in the angiogenic process. The detailed model of this process is affected by a high level of complexity due to the functional properties that are represented and the size of its state space. To overcome these problems, we suggest approaches to simplify the detailed representation that result in models with alower computational and structural complexity, while still capturing the overall behavior of the detailed one. The simplification process must take into account both the structural aspects and the quantitative behavior of the original model. To control the simplification from a structural point of view, we propose a set of reduction steps that maintain the invariants of the original model. To ensure the correspondence between the simplified and the original models froma quantitative point ofview weuse the flow equivalent method that provides a way of obtaining the parameters of the simplified model on the basis of those of the original one. To support the proposed methodology we show that a good agreement exists among the temporal evolutions of the relevant biological products in the simplified and detailed model evaluated with a large set of input parameters.
KW - Angiogenesis
KW - Flow equivalent server
KW - Model simplification
KW - Petri nets
KW - Systems biology
UR - http://www.scopus.com/inward/record.url?scp=80054813684&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80054813684&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2011.06.013
DO - 10.1016/j.tcs.2011.06.013
M3 - Article
AN - SCOPUS:80054813684
VL - 412
SP - 6036
EP - 6057
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
IS - 43
ER -