Qualitative modelling and analysis of Photosystem II

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2013
Druh Článek ve sborníku
Konference CEUR Workshop Proceedings
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://ceur-ws.org/Vol-988/paper3.pdf
Obor Informatika
Klíčová slova Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.