. . "CEUR Workshop Proceedings" . . . "D\u011Bd, Vil\u00E9m" . "Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking"@en . "1613-0073" . . . "RIV/00216224:14330/13:00066237" . "[A2C66D5689C1]" . . "Brim, Lubo\u0161" . "Milano" . . . . "101142" . . . "2013-01-01+01:00"^^ . "14330" . . . "Aachen" . "Qualitative modelling and analysis of Photosystem II"@en . . "\u0160afr\u00E1nek, David" . "Neuveden" . . "RIV/00216224:14330/13:00066237!RIV14-MSM-14330___" . "Qualitative modelling and analysis of Photosystem II" . . . "13"^^ . "http://ceur-ws.org/Vol-988/paper3.pdf" . "Qualitative modelling and analysis of Photosystem II"@en . . "P(EE2.3.20.0256), P(GAP202/11/0312), S" . "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."@en . . "3"^^ . "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." . . . . "3"^^ . "Qualitative modelling and analysis of Photosystem II" .