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

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
Citation
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.