Petri nets for modelling metabolic pathways: a survey