Optimized Parallel Implementation of Gillespie's First Reaction Method on Graphics Processing Units
ICCMS '09 Proceedings of the 2009 International Conference on Computer Modeling and Simulation
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of High Performance Computing Applications
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Bioinformatics
Proceedings of the 14th annual conference companion on Genetic and evolutionary computation
Hi-index | 0.00 |
In this paper authors perform a variability analysis of a Stochastic Petri Net (SPN) model of the Tissue Factor induced coagulation cascade, one of the most complex biochemical networks. This pathway has been widely analyzed in literature mostly with ordinary differential equations, outlining the general behaviour but without pointing out the intrinsic variability of the system. The SPN formalism can introduce uncertainty to capture this variability and, through computer simulation allows to generate analyzable time series, over a broad range of conditions, to characterize the trend of the main system molecules. We provide a useful tool for the development and management of several observational studies, potentially customizable for each patient. The SPN has been simulated using Tau-Leaping Stochastic Simulation Algorithm, and in order to simulate a large number of models, to test different scenarios, we perform them using High Performance Computing. We analyze different settings for model representing the cases of "healthy" and different "unhealthy" subjects, comparing and testing their variability in order to gain valuable biological insights.