| Identifikační kód | RIV/00216224:14330/13:00066237 |
|---|
| Název v anglickém jazyce | Qualitative modelling and analysis of Photosystem II |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 3 |
|---|
| Počet domácích tvůrců | 3 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773)
Vilém Děd (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1324543)
David Šafránek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8225400) |
|---|
| Popis výsledku v anglickém jazyce | 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. |
|---|
| Klíčová slova oddělená středníkem | Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking |
|---|
| Stránka www, na které se nachází výsledek | http://ceur-ws.org/Vol-988/paper3.pdf |
|---|