Gravar-mail: Modeling of the Glycolysis Pathway in Plasmodium falciparum using Petri Nets