Related Experiment Video
Updated: Jul 19, 2026

A Web Tool for Generating High Quality Machine-readable Biological Pathways
Published on: February 8, 2017
Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus
Claudio Eccher1, Corrado Priami
1DIT-University of Trento Trento, Italy. cleccher@itc.it
Motivation:
SBML is becoming a standard 'de-facto' to represent and store biological models. Although SBML is very useful in defining ways of exchanging and storing biological information, it is not formal enough to allow direct translation into non ambiguous formal representation languages to perform analysis and simulation of models. We here suggest to map SBML models into process calculi representations.
Results:
We implemented and validated a tool that translates SBML descriptions into stochastic pi-calculus specifications.
Availability:
Source code is freely available for academic use by contacting the authors.
Related Concept Videos
Fundamental Mathematical Principles in Pharmacokinetics: Calculus and Graphs
On the other hand, integral calculus focuses on...
SFG Algebra
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...

