Qualitative modelling and analysis of Photosystem II

BRIM, Luboš, Vilém DĚD and David ŠAFRÁNEK. Qualitative modelling and analysis of Photosystem II. Online. In CEUR Workshop Proceedings. Aachen: Neuveden, 2013, p. 17-29. ISSN 1613-0073.

Basic information

• Original name: Qualitative modelling and analysis of Photosystem II
• Authors: BRIM, Luboš (203 Czech Republic, belonging to the institution), Vilém DĚD (203 Czech Republic, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution).
• Edition: Aachen, CEUR Workshop Proceedings, p. 17-29, 13 pp. 2013.
• Publisher: Neuveden

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• Publication form: electronic version available online
• WWW: URL
• RIV identification code: RIV/00216224:14330/13:00066237
• Organization unit: Faculty of Informatics
• ISSN: 1613-0073
• Keywords in English: Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking

Abstract

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.

Links

• EE2.3.20.0256, research and development project: Name: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
• GAP202/11/0312, research and development project: Name: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Acronym: Components in Embedded Systems)

Investor: Czech Science Foundation