Symbolic Approaches to Modeling and Analysis of Biological Systems
Systémová biológia je prístup k biológii, ktorý zahŕňa pochopenie komplexnosti interakcií medzi biologickými entitami v rámci systémového celku. Cieľom je pochopiť vznik fyziologických alebo funkčných vlastností.
Kniha Symbolické prístupy k modelovaniu a analýze biologických systémov predstavuje príspevky formálnych metód z informatiky na modelovanie dynamiky biologických systémov. Konkrétne sa zaoberá symbolickými metódami, t. j. metódami, ktoré dokážu stanoviť kvalitatívne vlastnosti modelov.
Kniha predstavuje rôzne prístupy týkajúce sa sémantiky, jazyka, modelovania a ich prepojenia s údajmi a umožňuje skúmať základné problémy a výzvy, ktorým biologické systémy čelia. Prvá časť knihy predstavuje práce, ktoré sa pri tvorbe modelov opierajú o rôzne dostupné údaje, zatiaľ čo v druhej časti sú zhromaždené príspevky okolo problematiky sémantiky a formálnych metód.