D 2013

Qualitative modelling and analysis of Photosystem II

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

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

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

References:

RIV identification code

RIV/00216224:14330/13:00066237

Organization unit

Faculty of Informatics

ISSN

Keywords in English

Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking
Změněno: 24/4/2014 18:16, RNDr. Pavel Šmerk, Ph.D.

Abstract

V originále

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