Other formats:
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 and David ŠAFRÁNEK. Qualitative modelling and analysis of Photosystem II. Online. In \textit{CEUR Workshop Proceedings}. Aachen: Neuveden, 2013, p.~17-29. ISSN~1613-0073.
|