Qualitative modelling and analysis of Photosystem II

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00066237" target="_blank" >RIV/00216224:14330/13:00066237 - isvavai.cz</a>

Result on the web

<a href="http://ceur-ws.org/Vol-988/paper3.pdf" target="_blank" >http://ceur-ws.org/Vol-988/paper3.pdf</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Qualitative modelling and analysis of Photosystem II

Original language 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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

CEUR Workshop Proceedings

ISBN

—

ISSN

1613-0073

e-ISSN

—

Number of pages

13

Pages from-to

17-29

Publisher name

Neuveden

Place of publication

Aachen

Event location

Milano

Event date

Jan 1, 2013

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—