<abstract xmlns="http://www.w3.org/1999/xhtml"><p> In this paper a Petri net based model of the process of oxidative stress in atherosclerosis is presented and analyzed. Model expressed in the language of Petri net theory have, on one hand, an intuitive graphical representation, and on the other hand their formal properties can be analyzed using rigorous mathematical methods. Moreover, the behavior of a net can be simulated what supports the process of model development and an interpretation of the results of the analysis. Both the analysis and the simulation can be supported by many freely available software tools. In the case of biological systems an analysis the t-invariants is especially important since they correspond to some elementary biological subprocesses. In this paper the results of such an analysis are presented. In particular, minimal t-invariants, MCT-sets and t-clusters are calculated, their biological meaning is determined and some biological conclusions are drawn.</p></abstract>

In this paper a Petri net based model of the process of oxidative stress in atherosclerosis is presented and analyzed. Model expressed in the language of Petri net theory have, on one hand, an intuitive graphical representation, and on the other hand their formal properties can be analyzed using rigorous mathematical methods. Moreover, the behavior of a net can be simulated what supports the process of model development and an interpretation of the results of the analysis. Both the analysis and the simulation can be supported by many freely available software tools. In the case of biological systems an analysis the t-invariants is especially important since they correspond to some elementary biological subprocesses. In this paper the results of such an analysis are presented. In particular, minimal t-invariants, MCT-sets and t-clusters are calculated, their biological meaning is determined and some biological conclusions are drawn.

A Petri net based model of oxidative stress in atherosclerosis

Department of Clinical Biochemistry and Laboratory Medicine, Pozna´n University of Medical Sciences, Pozna´n, Poland

Institute of Computing Science, Pozna´n University of Technology, Pozna´n, Poland

Institute of Bioorganic Chemistry, Polish Academy of Sciences, Pozna´n, Poland

Foundations of Computing and Decision Sciences

{"article-title":"A Petri net based model of oxidative stress in atherosclerosis"}

In this paper a Petri net based model of the process of oxidative stress in atherosclerosis is presented and analyzed. Model expressed in the language of Petri...

A Petri net based model of oxidative stress in atherosclerosis

Published Online: Oct 01, 2012

Page range: 59 - 78

DOI: https://doi.org/10.2478/v10209-011-0005-x

Keywords
biological systems, atherosclerosis, oxidative stress, modeling, Petri nets, t-invariants

This content is open access.

A Petri net based model of oxidative stress in atherosclerosis

Published Online: Oct 01, 2012

Page range: 59 - 78

DOI: https://doi.org/10.2478/v10209-011-0005-x

Keywordsbiological systems, atherosclerosis, oxidative stress, modeling, Petri nets, t-invariants

This content is open access.

Keywords
biological systems, atherosclerosis, oxidative stress, modeling, Petri nets, t-invariants