eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems

• Authors: TROJÁK Matej; ŠAFRÁNEK David; BROZMANN Branislav; BRIM Luboš
• Year of publication: 2022
• Type: Article in Proceedings
• Conference: 20th International Conference on Computational Methods in Systems Biology
• MU Faculty or unit: Faculty of Informatics
• web: https://doi.org/10.1007/978-3-031-15034-0_17
• Doi: http://dx.doi.org/10.1007/978-3-031-15034-0_17
• Keywords: rule-based modelling; regulations; SBML; Galaxy tool
• Description: eBCSgen is a software tool for developing and analysing models written in Biochemical Space Language (BCSL). BCSL is a rule-based language designed for the description of biological systems with rewriting rules in the form of behavioural patterns. This tool paper describes a new version of the tool, implementing the support for regulations, a mechanism suitable for reducing the branching behaviour of concurrent systems. Additionally, the presented version provides export to SBML, and support for CTL model checking. The paper artefact is available via https://doi.org/10.5281/zenodo.6644973.

Related projects

• Unraveling the role of polyhydroxyalkanoates in Schlegelella thermodepolymerans – promising environmental bacterium for next generation biotechnology
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.