Chronique : Réseaux de Petri et modélisation en biologie moléculaire.