Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéaires

par Annie Choquet-Geniet

Thèse de doctorat en Informatique

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1987

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .

Le président du jury était Marie-Claude Gaudel.

Le jury était composé de Gérard Memmi, Marie-Claude Gaudel, Alain Finkel, Rüdiger Valk, Guy Vidal-Naquet.


  • Résumé

    Présentation des outils d'analyse pour les réseaux a files (réseaux à files à choix libre topologique et réseaux linéaires). Utilisation du réseau coloré associé permettant de décider la quasi-vivacité, la terminaison infinie et la vivacité. Détermination du centre des réseaux. Forme générale du langage d'entrée des files. Description du langage d'un système de deux processus communiquant par files (langage d'un réseau de Pétri)

  • Titre traduit

    Analysis and properties of processes communicating by fifos topologically free choice fifo nets and linear fifo nets


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (103 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 100-101

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1987)248
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-034574
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.