eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GA22-10845S" target="_blank" >GA22-10845S: Studium role polyhydroxyalkanoátů u bakterie Schlegelella thermodepolymerans – slibného bakteriálního kandidáta pro biotechnologie nové generace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2022
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
20th International Conference on Computational Methods in Systems Biology
ISBN
9783031150333
ISSN
0302-9743
e-ISSN
1611-3349
Počet stran výsledku
8
Strana od-do
302-309
Název nakladatele
Springer
Místo vydání
Neuveden
Místo konání akce
Bucharest, Romania
Datum konání akce
1. 1. 2022
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
001304474200022