A petri net application to model metabolic processes
Systems Analysis Modelling Simulation
Model checking
Petri Net Representations in Metabolic Pathways
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Petri Net Based Descriptions for Systematic Understanding of Biological Pathways
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Systems Biology: Properties of Reconstructed Networks
Systems Biology: Properties of Reconstructed Networks
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
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
Analysis of signalling pathways using continuous time markov chains
Transactions on Computational Systems Biology VI
Target driven biochemical network reconstruction based on petri nets and simulated annealing
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
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
A module-based approach to biomodel engineering with Petri nets
Proceedings of the Winter Simulation Conference
Verification and testing of biological models
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mathematical modeling approaches and has recently gained popularity in systems biology and synthetic biology. In this brief review for systems biologists and computational modelers, we introduce some of the basic concepts of successful biomodel engineering, illustrating them with examples from a variety of application domains, ranging from metabolic networks to cellular signaling cascades. We also present a more detailed outline of one of the major techniques of biomodel engineering – Petri net models – which provides a flexible and powerful tool for building, validating and exploring computational descriptions of biological systems.