Modelling and analysis of metabolic pathways.