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, Auteur
Editeur :	Paris : Dunod
Année de publication :	2006
Collection :	Sciences sup
Sous-collection :	Informatique
Importance :	XII-242 p.
Format :	24 x 17 cm
ISBN/ISSN/EAN :	978-2-10-049147-6
Prix :	29 EUR
Note générale :	Index
Langues :	Français (fre)
Mots-clés :	Petri, réseaux de
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é] / Annie Choquet-Geniet, Auteur . - Paris : Dunod, 2006 . - XII-242 p. ; 24 x 17 cm. - (Sciences sup. Informatique) .
ISBN : 978-2-10-049147-6 : 29 EUR
Index

Langues : Français (fre)

Mots-clés :	Petri, réseaux de
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.