A Probabilistic Model for Molecular Systems

Authors:
Roberto Barbuti;Stefano Cataudella;Andrea Maggiolo-Schettini;Paolo Milazzo;Angelo Troina
Affiliations:
Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mail: barbuti,cataudel,maggiolo,milazzo,troina@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mail: barbuti,cataudel,maggiolo,milazzo,troina@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mail: barbuti,cataudel,maggiolo,milazzo,troina@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mail: barbuti,cataudel,maggiolo,milazzo,troina@di.unipi.it;Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 - Pisa, Italy. E-mail: barbuti,cataudel,maggiolo,milazzo,troina@di.unipi.it
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Year:
2005

Citing 11
Cited 2

Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Model Checking of Probabalistic and Nondeterministic Systems

Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Hybrid Modeling and Simulation of Biomolecular Networks

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Model Checking Continuous-Time Markov Chains by Transient Analysis

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Symbolic Model Checking of Biochemical Networks

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Formal Modeling of C. elegans Development: A Scenario-Based Approach

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Model checking for probability and time: from theory to practice

LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Model checking for a probabilistic branching time logic with fairness

Distributed Computing
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
Modelling biochemical pathways through enhanced π-calculus

Theoretical Computer Science - Special issue: Computational systems biology
The biochemical abstract machine BIOCHAM

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

A Calculus of Looping Sequences for Modelling Microbiological Systems

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Multiple verification in complex biological systems: the bone remodelling case study

Transactions on Computational Systems Biology XIV

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a model for molecular reactions based on probabilistic rewriting rules. We give a probabilistic algorithm for rule applications as a semantics for the model, and we show how a probabilistic transition system can be derived from it. We use the algorithm in the development of an interpreter for the model, which we use to simulate the evolution of molecular systems. In particular, we show the results of the simulation of a real example of enzymatic activity. Moreover, we apply the probabilistic model checker PRISM to the transition system derived by the model of this example, and we show the results of model checking of some illustrative properties.