Les ensembles partiellement ordonnés et la sémantique des systèmes parallèles
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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 appliqué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.