Qualitative modelling and analysis of Photosystem II

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2013
Type Article in Proceedings
Conference CEUR Workshop Proceedings
MU Faculty or unit

Faculty of Informatics

Citation
Web http://ceur-ws.org/Vol-988/paper3.pdf
Field Informatics
Keywords Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.