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

• Autoři: TROJÁK Matej; ŠAFRÁNEK David; BROZMANN Branislav; BRIM Luboš
• Rok publikování: 2022
• Druh: Článek ve sborníku
• Konference: 20th International Conference on Computational Methods in Systems Biology
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: https://doi.org/10.1007/978-3-031-15034-0_17
• Doi: http://dx.doi.org/10.1007/978-3-031-15034-0_17
• Klíčová slova: rule-based modelling; regulations; SBML; Galaxy tool
• Popis: 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.

Související projekty

• Studium role polyhydroxyalkanoátů u bakterie Schlegelella thermodepolymerans – slibného bakteriálního kandidáta pro biotechnologie nové generace
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.