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

• Auteur / Autrice : Arnaud Lefort
• Direction : Jean-Claude Gentina, Pascal Yim
• Type : Thèse de doctorat
• Discipline(s) : Productique, automatique et informatique industrielle
• Date : Soutenance en 1998
• Etablissement(s) : Lille 1

Mots clés

Mots clés contrôlés

Programmation logique

Simulation, Méthodes de

Petri, Réseaux de

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.