Biblio Math&Info
Détail de l'auteur
Auteur Annie Choquet-Geniet (1961-....) |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Les réseaux de Petri / Annie Choquet-Geniet
Titre : Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés Type de document : texte imprimé Auteurs : Annie Choquet-Geniet (1961-....), Auteur Editeur : Paris : Dunod Année de publication : DL 2006 Collection : Sciences sup ISBN/ISSN/EAN : 978-2-10-049147-6 Note générale : La couv. porte en plus : "licence, master, écoles d'ingénieurs"
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Petri, Réseaux de Manuels d'enseignement supérieur Systèmes informatiques Modèles mathématiques Index. décimale : 004.6 Communications, interfaçage Résumé : L'ouvrage est consacré à la modélisation et à 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...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre. Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés [texte imprimé] / Annie Choquet-Geniet (1961-....), Auteur . - Paris : Dunod, DL 2006. - (Sciences sup) .
ISBN : 978-2-10-049147-6
La couv. porte en plus : "licence, master, écoles d'ingénieurs"
Catégories : Informatique
Informatique:Informatique, traitement des données
Informatique:Informatique, traitement des données:Communications, interfaçageMots-clés : Petri, Réseaux de Manuels d'enseignement supérieur Systèmes informatiques Modèles mathématiques Index. décimale : 004.6 Communications, interfaçage Résumé : L'ouvrage est consacré à la modélisation et à 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...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre. Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité 9782100491476MIT001 004.6/104 Livre Maths&Informatique Fonds informatique Disponible 9782100491476MIT002 004.6/104 Livre Maths&Informatique Fonds informatique Disponible 9782100491476MIT003 004.6/104 Livre Maths&Informatique Fonds informatique Disponible 9782100491476MIT004 004.6/104 Livre Maths&Informatique Fonds informatique Disponible