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. ©Electre 2024
Les réseaux de Petri
Un outil de modélisation
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édence, 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.
Paru le : 09/03/2006
Thématique : Informatique Etudiant
Auteur(s) : Auteur : Annie Choquet-Geniet
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782100491476
Reliure : Broché
Pages : XII-242
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.6 cm
Poids: 443 g
Carte fidélité
Mollat Radio
