Université Lille1 - Sciences et Technologies Les hypernets : un outil de modélisation et de spécification 003.71 Simulation, Méthodes de Petri, Réseaux de Programmation logique Text Electronic Thesis or Dissertation fr 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. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-425.pdf Lefort Arnaud 1900-01-01 121638499 1998LIL10202 1998-01-01 Productique, automatique et informatique industrielle Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Yim Pascal 059847654 Gentina Jean-Claude 059857501 ddc:000 ASCII PDF 9999