Dans ce mémoire, nous montrons comment utiliser les réseaux de Petri pour mod eliser et évaluer les performances de systèmes d'attente prioritaires avec une seule source nie (pour lesquels il n'y a pas de résultats ...