Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1114455,
author = {Brim, Luboš and Děd, Vilém and Šafránek, David},
address = {Aachen},
booktitle = {CEUR Workshop Proceedings},
keywords = {Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Aachen},
pages = {17-29},
publisher = {Neuveden},
title = {Qualitative modelling and analysis of Photosystem II},
url = {http://ceur-ws.org/Vol-988/paper3.pdf},
year = {2013}
}
TY - JOUR
ID - 1114455
AU - Brim, Luboš - Děd, Vilém - Šafránek, David
PY - 2013
TI - Qualitative modelling and analysis of Photosystem II
PB - Neuveden
CY - Aachen
KW - Qualitative modelling
KW - Petri nets
KW - Systems biology
KW - Photosystem II
KW - Model checking
UR - http://ceur-ws.org/Vol-988/paper3.pdf
L2 - http://ceur-ws.org/Vol-988/paper3.pdf
N2 - 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.
ER -
BRIM, Luboš, Vilém DĚD a David ŠAFRÁNEK. Qualitative modelling and analysis of Photosystem II. Online. In \textit{CEUR Workshop Proceedings}. Aachen: Neuveden, 2013, s.~17-29. ISSN~1613-0073.
|
