Thèse soutenue

Categories de modeles du parallelisme
FR  |  
EN
Accès à la thèse
Auteur / Autrice : REMI MORIN
Direction : Brigitte Rozoy
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1999
Etablissement(s) : Paris 11

Résumé

FR

Dans une premiere partie, ce memoire etudie des representations de systemes paralleles constituees d'un automate et d'une relation d'independance qui indique quelles actions sont susceptibles d'etre executees simultanement par des processus differents. Ces automates paralleles permettent de representer les reseaux de petri saufs et les automates asynchrones de zielonka. Par analogie avec le probleme de la synthese de reseaux, nous posons la question de savoir quels automates paralleles correspondent effectivement a un systeme d'automates communicants. Nous resolvons ce probleme pour diverses classes de systemes comme par exemple les produits d'automates a la arnold-nivat ou les automates asynchrones a lecture concurrente. Nous nous interessons ensuite en particulier aux automates paralleles qui modelisent un systeme d'agents communicant soit par envoie de messages, soit par memoires partagees. Dans une seconde partie, nous etudions deux modeles qui permettent de decrire les executions des reseaux de petri non-saufs. D'une part, nous introduisons une notion de trace locale qui generalise les traces de mazurkiewicz classiques et qui est adaptee aux phenomenes de concurrence locale et d'autoconcurrence. D'autre part, nous caracterisons le pouvoir d'expression des structures d'evenements locales ; ce modele introduit par hoogers, kleijn et thiagarajan est une extension des structures d'evenements premieres avec conflit binaire ; il permet d'etendre aux reseaux de petri generaux la notion de depliage introduite par nielsen, plotkin et winskel, et utilisee par macmillan puis esparza pour etablir des techniques de verification automatique. Nous developpons alors une methode tres generale de traduction des traces locales en structures d'evenements locales ; ceci nous conduit a une etude exhaustive des interpretations semantiquement correctes de la notion d'evenement ainsi qu'a de multiples variations de la notion de depliage pour les reseaux de petri.