Résumé : Hsim est un simulateur à base d'agents utilisé afin de modéliser les interactions entre macromolécules dans une cellule virtuelle en 3D. Ce simulateur n'étant pas dédié à un modèle spécifique, il permet de modéliser tout type d'interactions en utilisant un langage de description. Ces modèles, écrits par l'utilisateur, représentent les réactions entre les différentes molécules. Notre objectif est de vérifier la validité des modèles de l'utilisateur et d'en observer certaines propriétés sans faire tourner la simulation. Pour cela, nous construisons un Réseau de Petri afin de déterminer l'ensemble des assemblages macromoléculaires possibles.