Exécution répartie et temps-réel de réseaux de Petri