|
Titre :
|
Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés
|
|
Auteurs :
|
Annie Choquet-Geniet, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Dunod, 2006
|
|
Collection :
|
Sciences sup
|
|
Sous-collection :
|
Informatique
|
|
ISBN/ISSN/EAN :
|
978-2-10-049147-6
|
|
Format :
|
242 p. / 24 x 17 cm
|
|
Note générale :
|
Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
378.64
|
|
Catégories :
|
Techniques > Informatique
|
|
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.
|
Exemplaires (1)
Liste des exemplaires
|
| TEC005408 | EINF00302 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès
Disponible |
Demande de numérisation
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
