Résultat de la recherche
2 recherche sur le mot-clé 'Petri, rØseaux de'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette 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 Les réseaux de Petri / Choquet-Geniet Annie
Titre : Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés Type de document : texte imprimé Auteurs : Choquet-Geniet Annie, Auteur Editeur : Paris : Dunod Année de publication : 2006 Collection : Sciences sup Importance : XII-242 p. Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-10-049147-6 Note générale : Index Langues : Français (fre) Mots-clés : Petri, rØseaux de Index. décimale : 547540 Résumé : 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'analyse qui permet de modéliser tous les concepts spécifiques. Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés [texte imprimé] / Choquet-Geniet Annie, Auteur . - Paris : Dunod, 2006 . - XII-242 p. ; 24 x 17 cm. - (Sciences sup) .
ISBN : 978-2-10-049147-6
Index
Langues : Français (fre)
Mots-clés : Petri, rØseaux de Index. décimale : 547540 Résumé : 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'analyse qui permet de modéliser tous les concepts spécifiques. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité FTM6022 004.378.64.95/01 Livre magasin d'ouvrages 004.378.64. Exclu du prêt FTM6023 004.378.64.95/02 Livre magasin d'ouvrages 004.378.64. Disponible