Etude des systèmes temps-réel réactifs par le formalisme des réseaux de Pétri synchrones

par Riad Hilal

Thèse de doctorat en Automatique, productique

Sous la direction de Pierre Ladet.

Soutenue en 1993

à Grenoble INPG .


  • Résumé

    La presente etude se propose d'introduire les bases d'un nouveau formalisme: les reseaux de petri synchrones (synchronous petri nets synpn). Ce formalisme cumule les avantages de deux outils existants: les langages synchrones et les reseaux de petri. Il est deterministe, hautement parallele, disposant de diverses primitives de synchronisation puissantes mais naturelles. Dans ce cadre, le determinisme procure a l'outil une meilleure representation des systemes temps-reel reactifs eux meme deterministes par nature. Le formalisme des synpn permet egalement de simplifier le raisonnement sur le temps et de simplifier la gestion des ressources. La modelisation au moyen des synpn gagne ainsi en simplicite et les modeles resultants en clarte. Nous proposons, par ailleurs, de concevoir et d'implementer un outil d'aide a la modelisation, simulation et programmation des systemes temps-reel reactifs base sur le formalisme des reseaux de petri synchrones

  • Titre traduit

    Reactive real-time systems study using the synchronous petri formalism


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (191 f.)
  • Annexes : Bibliographie

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS93/INPG/0198

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : IMAG-1993-HIL
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.