Les ensembles partiellement ordonnés et la sémantique des systèmes parallèles

par Agathe Merceron

Thèse de doctorat en Informatique

Sous la direction de Guy Vidal-Naquet.

Soutenue en 1986

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


  • Résumé

    Cette thèse étudie la sémantique des systèmes parallèles en employant un outil non séquentiel: les ensembles partiellement ordonnés. Les axiomes du parallélisme de C. A. Petri sont étudiés; un ensemble partiellement ordonné satisfaisant les axiomes du parallélisme peut être vu comme un modèle d'un comportement particulier d'un système parallèle. L'étude est applique������e aux réseaux de Petri: Les réseaux marqués dont tous les comportements particuliers vérifient les axiomes du parallélisme de C. A. Petri sont caractérisés. Des équivalences entre propriétés d'un réseau marqué et propriétés de ses comportements particuliers sont cherchées ce qui conduit, en particulier, à définir les marques gelées. Les liens entre marques gelées et équité sont montrés. Une sous-classe de réseaux marqués sans marques gelées est mise en évidence.

  • Titre traduit

    Partially ordered reti and the semantics of concurrent systems


  • Résumé

    This thesis studies the semantics of concurrent systems using a non-sequential tool: the partially ordered sets. The concurrency axioms of C. A. Petri are investigated; a partially ordered set satisfying the concurrency axioms can be viewed as a model of a particular behavior of a concurrent system. This study is applied to Petri Nets. The marked nets all of whose processes satisfy the concurrency axioms of C. A. Petri are characterized. Equivalences between properties of a marked net and properties of its processes are looked for, which leads, in particular, to the definition of frozen tokens. Links between frozen tokens and fairness are shown. A sub-class of nets free of frozen tokens is exhibited.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (180 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 175-180

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(1986)119
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.