GEOTRUST SSL CERTIFICATE
Résultat de la recherche
5 recherche sur le mot-clé 'Petri, réseaux de'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
texte imprimé
Guy Juanole, Metteur en scène, réalisateur ; Robert Valette, Metteur en scène, réalisateur ; François Vernadat, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Contient 11 communications sélectionnées parmi les 30 présentées à MSR'2001, troisième colloque francophone sur la modélisation des systèmes réactifs, qui s'est tenu à Toulouse du 17 au 19 octobre 2001. Ce colloque se situe dans les domaines de [...]texte imprimé
Comporte quatre parties : les réseaux de Petri places-transitions, les réseaux de Petri et la modélisation du temps, les abréviations des réseaux de Petri, les réseaux de Petri à distributions.texte imprimé
Présentation de la modélisation et de l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Explication du modèle des réseaux de Petri, outil graphique d'a[...]texte imprimé
Jean-Marie Proth, Auteur ; Xiaolan Xie, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-industrie et applications | 1994Un réseau de Petri est un modèle graphique qui permet de spécifier, modéliser et évaluer les performances de systèmes dynamiques, et en particulier de systèmes de fabrication. Les auteurs présentent des définitions et les propriétés utilisées, p[...]texte imprimé
Michel Diaz, Metteur en scène, réalisateur | Paris : Hermès science publications | Traité IC2 | 2002Complément de $$Les réseaux de Pétri$$, qui portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles, ce second ouvrage insiste sur la vérification et la mise en oeuvre des modèles fondamentaux exposés pré[...]