Qualitative modelling and analysis of Photosystem II
| Authors | |
|---|---|
| Year of publication | 2013 |
| Type | Article in Proceedings |
| Conference | CEUR Workshop Proceedings |
| MU Faculty or unit | |
| Citation | |
| web | http://ceur-ws.org/Vol-988/paper3.pdf |
| Field | Informatics |
| Keywords | Qualitative modelling; Petri nets; Systems biology; Photosystem II; Model checking |
| Description | 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. |
| Related projects: |