Les hypernets : un outil de modélisation et de spécification

par Arnaud Lefort

Thèse de doctorat en Productique, automatique et informatique industrielle

Sous la direction de Jean-Claude Gentina et de Pascal Yim.

Soutenue en 1998

à Lille 1 .


  • Résumé

    Par sa nature graphique, et les nombreuses proprietes qui le caracterisent, l'outil reseau de petri est a l'heure actuelle l'un des outils les plus puissants de modelisation des systemes a evenements discrets. En modelisation, les rdp permettent d'exprimer de maniere naturelle l'apparition d'evenements, la mise en parallele et la synchronisation, le partage de ressources, le non-determinisme, la prise en compte de problemes plus complexes conduit a annoter le reseau et a interpreter ces annotations. Les rdp non-autonomes permettent ainsi de resoudre une classe assez large de problemes comme l'evaluation des performances d'un systeme, l'ordonnancement de taches, la surveillance et la commande d'un systeme de production, la modelisation de systemes hybrides la puissance d'expression de ces rdp n'est cependant pas toujours suffisante pour exprimer naturellement la modelisation de systemes industriels ; celle-ci conduisant, en general, a une explosion de la taille du reseau, le rendant ainsi illisible. Les rdp de haut niveau permettent d'augmenter considerablement la concision du modele. Neanmoins, les etats du systeme doivent etre completement connus : certains parametres peuvent etre inconnus a priori. Sur d'autres parametres, il est souvent utile de definir des intervalles de tolerance au lieu d'une valeur fixee. Dans ce but, nous introduisons le concept de marquage partiel d'un rdp de haut niveau. Nous definirons ainsi un hypernet comme un rdp de haut niveau dote de marquages partiels et de contraintes de marquage. Nous nous interesserons essentiellement a l'etude des proprietes specifiques des hypernets et en particulier a l'accessibilite entre marquages partiels.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (151 f.)
  • Annexes : Bibliogr. f. 114-119

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lille. Service commun de la documentation. Lilliad Learning Center Innovation.
  • Disponible pour le PEB
  • Cote : 50376-1998-425

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 : MF-1998-LEF
  • 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.