Afin de valider le modèle d'exécution Prosit et de vérifier la puissance d'expression du modèle de programmation, nous avons réalisé une version séquentielle du simulateur [30,53]. Ce prototype comprend notamment une bibliothèque pour la simulation de files d'attente et a été interfacé à l'outil statistique (3.1.2) développé dans notre équipe et à un outil de visualisation (Agat) développé dans le projet SAFIR.