Zde se nacházíte:
Informace o publikaci
Qualitative modelling and analysis of Photosystem II
Autoři | |
---|---|
Rok publikování | 2013 |
Druh | Článek ve sborníku |
Konference | CEUR Workshop Proceedings |
Fakulta / Pracoviště MU | |
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: |