Mod�lisation de Proc�d�s Logiciels � Base de R�seau de Petri

Ce travail rentre dans le cadre g n ral de la mod lisation des syst mes, et concerne plus pr cis ment la mod lisation des proc d?'s logiciels. Le domaine des pr c d?'s logiciels qui constitue l'une des pr occupations majeures en g nie logiciel tente d'apporter des solutions aux divers probl mes pos?'s pour le d veloppement de logiciels complexes. Plusieurs approches de mod lisations des proc d?'s ont t alors propos es. Cependant, seul quelques mod les ont t r ellement mis en pratique cause de la difficult couvrir l'ensemble des tapes du cycle de vie d'un logiciel. Notre travail se situe dans ce contexte, de conception d'un environnement de mod lisation graphique des proc d?'s logiciels. Et pour cela nous avons choisi l'approche des r seaux de p tri car, ils permettent de repr senter facilement les synchronisations, ainsi le pouvoir de les repr senter par des outils math matiques (matrices, vecteurs). L'interface d'environnement permet d'acc der via une interface Web dynamique aux diff rents mod les des fins de portabilit, de modification et d'am lioration.