Krebs Cycle and Glycolysis Petri Net Models and Simulations for Biochemical Education