Informace o publikaci

Qualitative modelling and analysis of Photosystem II

Autoři

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

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.

Další info