Qualitative modelling and analysis of Photosystem II. - Lubos Brim; Vilém Ded; David Safránek (BioPPN@Petri Nets, 2013)