Détail de l'auteur
Auteur Michel Diaz |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
Les réseaux de Petri / Michel Diaz
Titre : Les réseaux de Petri : modèles fondamentaux Type de document : texte imprimé Auteurs : Michel Diaz Editeur : Paris :Hermès science publication Année de publication : 2001 Collection : Traité IC2 Importance : 386 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0250-4 Prix : 557,56 F Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : Petri, rØseaux de Index. décimale : 533530 Résumé : 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. Note de contenu : Petri , Réseaux de
Procédés de fabrication : Modèles mathématiques
Les réseaux de Petri : modèles fondamentaux [texte imprimé] / Michel Diaz . - Paris :Hermès science publication, 2001 . - 386 p. ; 24 x 16 cm. - (Traité IC2) .
ISBN : 978-2-7462-0250-4 : 557,56 F
Bibliogr. Index
Langues : Français (fre)
Mots-clés : Petri, rØseaux de Index. décimale : 533530 Résumé : 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. Note de contenu : Petri , Réseaux de
Procédés de fabrication : Modèles mathématiques
Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité FTM6192 510.515.123/01 Livre magasin d'ouvrages 510.515Analyse Exclu du prêt FTM31300 510.515.123/02 Livre magasin d'ouvrages 510.515Analyse Disponible FTM31301 510.515.123/03 Livre magasin d'ouvrages 510.515Analyse Disponible Vérification et mise en oeuvre des réseaux de Petri / Michel Diaz
Titre : Vérification et mise en oeuvre des réseaux de Petri Type de document : texte imprimé Auteurs : Michel Diaz Editeur : Paris : Hermès science publications-Lavoisier, Année de publication : 2003 Collection : informatique et systémes d'information Importance : 320 p. Présentation : ill. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0445-4 Langues : Français (fre) Mots-clés : Pétri, réseaux de systèmes informatiques modules mathématiques Index. décimale : 512.7 Résumé : Complé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 œuvre des modèles fondamentaux exposés précédemment. Il avance des solutions pour les systèmes réels dans divers domaines : télécommunications, programmation, multimØdia... Vérification et mise en oeuvre des réseaux de Petri [texte imprimé] / Michel Diaz . - Paris : Hermès science publications-Lavoisier,, 2003 . - 320 p. : ill. ; 24 x 16 cm. - (informatique et systémes d'information) .
ISBN : 978-2-7462-0445-4
Langues : Français (fre)
Mots-clés : Pétri, réseaux de systèmes informatiques modules mathématiques Index. décimale : 512.7 Résumé : Complé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 œuvre des modèles fondamentaux exposés précédemment. Il avance des solutions pour les systèmes réels dans divers domaines : télécommunications, programmation, multimØdia... Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité FTM0188 510.515.145/01 Livre magasin d'ouvrages 510.515Analyse Exclu du prêt FTM0189 510.515.145/02 Livre magasin d'ouvrages 510.515Analyse Exclu du prêt FTM6409 510.515.145/03 Livre magasin d'ouvrages 510.515Analyse Disponible FTM6410 510.515.145/04 Livre magasin d'ouvrages 510.515Analyse Disponible