Methodologies for the modeling and simulation of biochemical networks, illustrated for signal transduction pathways: A primer.