Tools for kinetic modeling of biochemical networks