D 2013

Qualitative modelling and analysis of Photosystem II

BRIM, Luboš, Vilém DĚD a David ŠAFRÁNEK

Základní údaje

Originální název

Qualitative modelling and analysis of Photosystem II

Autoři

BRIM, Luboš (203 Česká republika, domácí), Vilém DĚD (203 Česká republika, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí)

Vydání

Aachen, CEUR Workshop Proceedings, od s. 17-29, 13 s. 2013

Nakladatel

Neuveden

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

Kód RIV

RIV/00216224:14330/13:00066237

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking
Změněno: 24. 4. 2014 18:16, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

In this paper, a work-in-progress aiming at qualitative modelling of photosynthesis at the mechanistic cellular level by means of Petri nets is described. Presented preliminary results concentrate on modelling and analysis of photosystem II, a crucial component of photosynthesis. By employing qualitative model checking combined with invariant analysis we obtain new insights into electron transfer mechanisms studied in photosystem II.

Návaznosti

EE2.3.20.0256, projekt VaV
Název: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
GAP202/11/0312, projekt VaV
Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification