A petri net model for a composed biological system

Mathematical modelling of complex biological systems has limitations in behaviour study of this kind of systems. In order to study and predict these systems, the adoption of computer modelling has become increasingly widespread in systems biology. In this sense, the adoption of formal modelling formalism allows to model and verify dynamical properties of these particular systems. In this paper we propose to use Petri nets to model a biological complex system composed of folate and methionine cycles as well as transsulfuration and glutathione biosynthesis pathways.