Using Petri Nets in Higher Level Development Biology: a case study on the AP axis development in Xenopus laevis. Extended abstract