Qualitative modelling and analysis of Photosystem II

• 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
• 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

• Software Components in Embedded Systems: Development and Verification
• Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice