Книга "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.