In: LRI Orsay, rapport de recherche No. 0692 IG10. 1992.
Abstract: Répartir les tâches entre plusieurs ordinateurs ou processeurs est bien souvent la seule réponse que l' on puisse apporter aux demandes sans cesse croissantes de puissances de traitement. Toutefois, les avantages du parallélisme ont pour contrepartie l' extrême complexité de construction et d'analyse des systèmes parallèles (blocage, cohérence du système). Une modélisation abstraite des systèmes parallèles munie de puissants outils d'analyse s'impose. Les réseaux de Petri constituent l'un des mod les formels les plus avancés et les plus utilisés. Ce succès s'explique par de nombreux atouts: le fonctionnement d'un système P/T est facilement perçu par un ``non spécialiste'', une grande variété de propriétés sont représentables par les réseaux de Petri et des techniques d'analyse formelles, simples et rigoureuses ont été développées.