eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F22%3A00129141" target="_blank" >RIV/00216224:14330/22:00129141 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-031-15034-0_17" target="_blank" >http://dx.doi.org/10.1007/978-3-031-15034-0_17</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-15034-0_17" target="_blank" >10.1007/978-3-031-15034-0_17</a>
Alternative languages
Result language
angličtina
Original language name
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
Original language 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA22-10845S" target="_blank" >GA22-10845S: Unraveling the role of polyhydroxyalkanoates in Schlegelella thermodepolymerans – promising environmental bacterium for next generation biotechnology</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
20th International Conference on Computational Methods in Systems Biology
ISBN
9783031150333
ISSN
0302-9743
e-ISSN
1611-3349
Number of pages
8
Pages from-to
302-309
Publisher name
Springer
Place of publication
Neuveden
Event location
Bucharest, Romania
Event date
Jan 1, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001304474200022