Voss K, Heiner M, Koch I. Steady state analysis of metabolic pathways using Petri nets. In Silico Biol. 2003;3(3):367-87.