Détail de l'auteur
Auteur Choquet-Geniet Annie |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
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