An Automatic Translation of SBML into Beta-Binders
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Towards a complete covering of SBML functionalities
WMC'07 Proceedings of the 8th international conference on Membrane computing
| Hi-index | 3.84 |
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 π-calculus specifications. Availability: Source code is freely available for academic use by contacting the authors. Contact: cleccher@itc.it