On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process-Reference-Cited by-同舟云学术

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process

Published:2009 Issue: Volume: Page:281-295
ISSN:0302-9743
Container-title:Computational Methods in Systems Biology
language:
Short-container-title:

Author:

Napione Lucia,Manini Daniele,Cordero Francesca,Horváth András,Picco Andrea,De Pierro Massimiliano,Pavan Simona,Sereno Matteo,Veglio Andrea,Bussolino Federico,Balbo Gianfranco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03845-7_19

Reference19 articles.

1. Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)

2. Lecture Notes in Computer Science;G. Balbo,2001

3. Lecture Notes in Bioinformatics;H. Busch,2006

4. Lecture Notes in Bioinformatics;M. Calder,2006

5. Dance, M., Montagner, A., Yart, A., Masri, B., Audigier, Y., Perret, B., Salles, J.P., Raynal, P.: The adaptor protein Gab1 couples the stimulation of vascular endothelial growth factor receptor-2 to the activation of phosphoinositide 3-kinase. Journal of Biological Chemestry 281, 23285–23295 (2006)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal verification confirms the role of p53 protein in cell fate decision mechanism;Theory in Biosciences;2022-12-12

2. Using Approximation for the Verification of Token-Scaling Models;Transactions on Petri Nets and Other Models of Concurrency XVI;2022

3. SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks;ACM Transactions on Embedded Computing Systems;2021-06

4. Petri Net modelling approach for analysing the behaviour of Wnt/ ‐catenin and Wnt/ Ca 2+ signalling pathways in arrhythmogenic right ventricular cardiomyopathy;IET Systems Biology;2020-11-23

5. The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets;2018 IEEE Congress on Evolutionary Computation (CEC);2018-07