eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
M Troják, D Šafránek, B Brozmann, L Brim - International Conference on …, 2022 - Springer
M Troják, D Šafránek, B Brozmann, L Brim
International Conference on Computational Methods in Systems Biology, 2022•SpringerAbstract 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 …
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 …
Abstract
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.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果