Université Lille1 - Sciences et Technologies Sur un ensemble d'outils d'aide à la specification et à la conception des systèmes industriels On a set of tools for assisting in specifying and designing industrial systems 004.2 Systèmes, Conception de Automates programmables Petri, Réseaux de Text Electronic Thesis or Dissertation fr On étudie les éléments essentiels que doit posséder un bon outil de spécification. Ces caractéristiques permettent l'analyse de quelques méthodologies de spécification en faisant apparaître les points forts et les limites. On étudie ensuite les réseaux de pétri et plus particulièrement les réseaux de pétri structurés qui constituent la base d'une méthodologie de spécification et de conception dont on donne les principales directions. On présente des méthodes et outils d'analyse permettant une validation presque complète des spécifications à un niveau d'abstraction donné. On montre que l'utilisation de réseaux de pétri structures apporte, par rapport à l'utilisation de réseaux de pétri normaux, un certain nombre de simplifications application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1982/50376-1982-183.pdf Vercauter Christian 1900-01-01 124345565 1982-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:004 ASCII PDF 9999