Some properties of timed nets under the earliest firing rule
Advances in Petri nets 1989
SIAM Journal on Scientific Computing
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Journal of Biomedical Informatics
Time Petri Nets for Modelling and Analysis of Biochemical Networks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Towards biopathway modeling and simulation
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Snoopy: a tool to design and animate/simulate graph-based formalisms
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
DSSZ-MC --- A Tool for Symbolic Analysis of Extended Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
An Improvement of Software Architecture Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A unifying framework for modelling and analysing biochemical pathways using Petri nets
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
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
Target driven biochemical network reconstruction based on petri nets and simulated annealing
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A comparative study of stochastic analysis techniques
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Hybrid Petri net based modeling for biological pathway simulation
Natural Computing: an international journal
Colouring space - a coloured framework for spatial modelling in systems biology
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |
We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical networks, and the application of our approach to the model of the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway. We show that analysis based on a discrete Petri net model of the system can be used to derive the sets of initial concentrations required by the corresponding continuous ordinary differential equation model, and no other initial concentrations produce meaningful steady states. Altogether, this paper represents a tutorial in step-wise modelling and analysis of larger models as well as in structured design of ODEs.