Applying petri nets for the analysis of the gsh-asc cycle in chloroplasts

Petri nets are a useful framework for the analysis of biological systems in various complementary ways, integrating both qualitative and quantitative studies. We apply this formalism to the Glutathione Ascorbate Redox cycle (GSH-ASC) in chloroplasts case study, considering structural Petri net techniques from standard Petri nets to validate the model and to infer new properties, as well as continuous Petri nets in order to have a behavior prediction. In this way, from the continuous Petri net representation we can analyze its behavior under oxidative stress conditions, and from the standard Petri net we can identify some state-conserving or mass-conserving properties