Logic of Programs and Their Applications, Proceedings
Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Foundations of Systems Biology: Using Cell Illustrator and Pathway Databases
Foundations of Systems Biology: Using Cell Illustrator and Pathway Databases
Executing multicellular differentiation
Bioinformatics
Proving stabilization of biological systems
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Probabilistic model checking of the PDGF signaling pathway
Transactions on Computational Systems Biology XIV
| Hi-index | 0.00 |
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can be complementary to the traditional mathematical descriptive modelling approaches used in systems biology. We discuss one example: a recent Petri net analysis of C. elegans vulval development.