• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 20
  • 3
  • Tagged with
  • 23
  • 23
  • 7
  • 4
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Automates réversibles et réseaux de Petri, dualité et représentation le problème de la synthèse /

Badouel, Eric January 1999 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1999. / Bibliogr. p.67-71.
2

Etude des systèmes de productions automatisée soumis à des aléas

Mourani, Iyad Xie, Xiaolan. January 2006 (has links) (PDF)
Thèse de doctorat : Automatique : Metz : 2006. / Thèse soutenue sur ensemble de travaux. Bibliogr. p. 197-207.
3

Dependability modeling and evaluation

Rugina, Ana-Elena Kanoun, Karama. January 2008 (has links)
Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 110 réf.
4

Gestion hiérarchisée de systèmes de production discrets : une approche basée sur les réseaux de Petri /

Wang, Liming. January 1900 (has links)
Th. doct.--Sci. de l'ingénieur--Metz, 1995. / 1996 d'après la déclaration de dépôt légal. Contient des textes en anglais. Bibliogr. p. 145-155. Index. Résumé en anglais et en français.
5

Conception préliminaire des systèmes de production à l'aide des réseaux de Petri : évaluation des performances /

Savi, Vânio Murilo. January 1900 (has links)
Th. univ.--Sci. de l'ingénieur--Metz, 1994. / 1994 d'après la déclaration du dépôt légal. Résumé en français et en anglais. Bibliogr. p. 145-149.
6

Linear logic based calculi for object Petri nets /

Farwer, Berndt. January 1900 (has links)
Diss.--Informatik--Universität Hamburg, 1999. / Bibliogr. p. 175-184. Index.
7

Contribution à la synthèse des controleurs des systèmes à événements discrets partiellement observables

Achour, Zied Rezg, Nidhal. January 2005 (has links) (PDF)
Thèse de doctorat : Sciences de l'ingénieur : Automatique : Metz : 2005. / Thèse soutenue sur ensemble de travaux. Bibliogr. p.103-106.
8

Modélisation et vérification des réseaux de Petri hybrides temporisés application à la métamorphose amphibienne /

Troncale, Sylvie Bernot, Gilles. Comet, Jean-Paul. January 2008 (has links) (PDF)
Thèse de doctorat : Bioinformatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.
9

ORDONNANCEMENT DES SYSTEMES DE PRODUCTION MULTI-RESSOURCES AVEC LA PRISE EN COMPTE DE BLOCAGE /

CAMARGO DAMASCENO, BERENICE. Xie, Xiaolan. January 1999 (has links) (PDF)
Thèse de doctorat : SCIENCES APPLIQUEES : Metz : 1999. / 1999METZ003S. 109 REF.
10

Implantation de réseaux de Petri sur automate biprocesseur à haute sûreté de fonctionnement.

Defrenne, Jean, January 1900 (has links)
Th. 3e cycle--Électronique--Lille 1, 1979. N°: 766.

Page generated in 0.0615 seconds