ISBN:  Unavailable

Category: Unavailable

Page count: 181

La première partie de cette thèse propose un modèle en réseau de Petri pour un atelier de production comportant une ressource partagée par deux processus parallèles. Dans la famille des ordonnancements cycliques, nous obtenons une borne inferieure sur le débit, en fonction de la fréquence d'allocation de la ressource partagée. La deuxième partie est motivée par une application robotique. Un algorithme de commande distribue peut être décrit par un graphe de taches élémentaires avec des liens de synchronisation. L'objectif est de montrer que ce graphe ne mène pas à des situations d'interblocage. Un modèle en réseau de Petri est proposé et nous en étudions les propriétés de vivacité. La troisième partie concerne l'analyse de systèmes de files d'attente où les arrivées sont une superposition de flux périodiques, et soumis à une contrainte temps réel stricte. Cette contrainte spécifie que, quel que soit le déphasage initial, tout client doit avoir quitté le système avant son échéance (faisabilité). Les propriétés de stabilité et périodicité sont étudiées. Nous développons une approche qui consiste à borner les processus de charge et les processus de sortie. Nous étendons les résultats connus pour une station en isolation. Le cas d'un serveur préempté est étudié pour ensuite analyser un réseau de stations en série. Ces bornes amènent à déterminer des conditions de faisabilité. L'extension des résultats qui précèdent est envisagée pour le cas d'un réseau circulaire