Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets