Petri net modelling of biological networks

被引:239
作者
Chaouiya, Claudine [1 ]
机构
[1] Univ Mediterranee, INSERM, ERM 206, TAGC, F-13288 Marseille 09, France
关键词
dynamical modelling; Petri nets; biological networks;
D O I
10.1093/bib/bbm029
中图分类号
Q5 [生物化学];
学科分类号
071010 ; 081704 ;
摘要
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promising tool among the various methods employed for the modelling and analysis of molecular networks. PNs come with a series of extensions, which allow different abstraction levels, from purely qualitative to more complex quantitative models. Noteworthily, each of these models preserves the underlying graph, which depicts the interactions between the biological components. This article intends to present the basics of the approach and to foster the potential role PNs could play in the development of the computational systems biology.
引用
收藏
页码:210 / 219
页数:10
相关论文
共 53 条
[1]   Continuous and hybrid Petri nets [J].
Alla, H ;
David, R .
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) :159-188
[2]   Validation of qualitative models of genetic regulatory networks by model checking:: analysis of the nutritional stress response in Escherichia coli [J].
Batt, G ;
Ropers, D ;
de Jong, H ;
Geiselmann, J ;
Mateescu, R ;
Page, M ;
Schneider, D .
BIOINFORMATICS, 2005, 21 :I19-I28
[3]  
Calder M, 2006, LECT NOTES COMPUT SC, V4220, P44
[4]   Modeling and querying biomolecular interaction networks [J].
Chabrier-Rivier, N ;
Chiaverini, M ;
Danos, V ;
Fages, F ;
Schächter, V .
THEORETICAL COMPUTER SCIENCE, 2004, 325 (01) :25-44
[5]  
Chaouiya C, 2004, LECT NOTES COMPUT SC, V3099, P137
[6]  
Chaouiya C, 2006, LECT NOTES COMPUT SC, V4220, P95
[7]  
CHEN M, 2003, SILICO BIOL, V3, P30
[8]  
Clarke E, 2001, Model checking
[9]  
Comet JP, 2005, LECT NOTES COMPUT SC, V3536, P208
[10]  
D'Aprile D, 2004, LECT NOTES COMPUT SC, V3280, P543