Les Réseaux De Perti / Annie Choquet Geniet

Public ISBD Titre : Les Réseaux De Perti : Un Outil De Modélisation Cours Et Exercices Corrigés Type de document : texte imprimé Auteurs : Annie Choquet Geniet, Auteur Editeur : Canada : Dunod Année de publication : 2006 Collection : SCIENCES SUP Importance : 242p Format : 24x17cm ISBN/ISSN/EAN : 978-2-10-049147-6 Note générale : Sommaire Avant-propos Introduction Le modèle de base Principe de modélisation statistique les réseaux - places/transitions Etude comportementale - aspects dynamiques Principales propriétés exprimables par réseaux de Pétri Réseaux de Pétri et algèbre linéaire Les extensions du modèle de base Présentation générale des extensions Les réseaux de Pétri colorés Extension de l'expressivité Prise en compte d'un schéma opérationnel Prise en compte du temps Index Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Le modèle des réseaux de Petri est un outil graphique de modélisation et d'analyse des systèmes parfaitement adapté à l'étude des structures de contrôle. Il permet notamment de maîtriser et d'assurer la sûreté de fonctionnement de logiciels complexes (aéronautique, transports, industrie...). Cet ouvrage présente les différentes techniques de modélisation en se référant aux nombreux concepts spécifiques des systèmes de contrôles (parallélisme, précédente, communication, partage de ressources, causalité...). Les différents modèles sont décrits en détail, du modèle de base à quelques-unes de ses extensions temporelles. Les diverses possibilités d'analyses offertes seront également étudiées. La première partie de l'ouvrage introduit le modèle de base places/transitions, et la seconde traite de quelques extensions du modèle initial pour traiter des problèmes liés aux applications de contrôle des procédés. De nombreux exercices corrigés sont également proposés à la fin de chaque chapitre. Ce livre s'adresse aux étudiants de licence et master en informatique et en mathématiques ainsi qu'aux élèves d'écoles d'ingénieurs Les Réseaux De Perti : Un Outil De Modélisation Cours Et Exercices Corrigés [texte imprimé] / Annie Choquet Geniet, Auteur . - Canada : Dunod, 2006 . - 242p ; 24x17cm. - (SCIENCES SUP) . ISBN : 978-2-10-049147-6 Sommaire Avant-propos Introduction Le modèle de base Principe de modélisation statistique les réseaux - places/transitions Etude comportementale - aspects dynamiques Principales propriétés exprimables par réseaux de Pétri Réseaux de Pétri et algèbre linéaire Les extensions du modèle de base Présentation générale des extensions Les réseaux de Pétri colorés Extension de l'expressivité Prise en compte d'un schéma opérationnel Prise en compte du temps Index Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 004 Traitement de données. Informatique Résumé : Le modèle des réseaux de Petri est un outil graphique de modélisation et d'analyse des systèmes parfaitement adapté à l'étude des structures de contrôle. Il permet notamment de maîtriser et d'assurer la sûreté de fonctionnement de logiciels complexes (aéronautique, transports, industrie...). Cet ouvrage présente les différentes techniques de modélisation en se référant aux nombreux concepts spécifiques des systèmes de contrôles (parallélisme, précédente, communication, partage de ressources, causalité...). Les différents modèles sont décrits en détail, du modèle de base à quelques-unes de ses extensions temporelles. Les diverses possibilités d'analyses offertes seront également étudiées. La première partie de l'ouvrage introduit le modèle de base places/transitions, et la seconde traite de quelques extensions du modèle initial pour traiter des problèmes liés aux applications de contrôle des procédés. De nombreux exercices corrigés sont également proposés à la fin de chaque chapitre. Ce livre s'adresse aux étudiants de licence et master en informatique et en mathématiques ainsi qu'aux élèves d'écoles d'ingénieurs

Réservation

Réserver ce document

Exemplaires (13)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
07/115876	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Exclu du prêt
07/115877	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/126696	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/126697	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/134128	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/134129	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/134130	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/134131	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/134132	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/136660	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/136661	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
08/136662	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible
09/156741	L/004.1028	Livre	Bibliothèque Mathématique informatique et sciences de la matière	indéterminé	Disponible

---

1 (1 - 1 / 1)