Nous avons entièrement spécifié le modèle de programmation et de simulation Prosit, et nous avons conçu un modèle d'exécution associé [30,53]. Prosit est un environnement de simulation à événements discrets basé sur C++, conçu pour être étendu à des domaines d'application variés par l'adjonction de bibliothèques de classes spécifiques (files d'attente, réseaux de Petri, interaction de mobiles, etc.) et pouvant être utilisé de manière transparente en environnement séquentiel ou réparti.