Pour les réseaux de Petri avec routage, qui sont des réseaux à choix libres, nous avons développé dans [16] une méthode de simulation spatiale qui repose sur la mise en équation de la dynamique du système. Cette méthode a été adaptée à une implémentation SIMD ainsi qu'à une implémentation MIMD qui s'exécutent respectivement sur la CM2 et sur un environnement PVM.