Titre : |
Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés |
Type de document : |
texte imprimé |
Auteurs : |
Choquet-Geniet Annie, Auteur |
Editeur : |
Paris : Dunod |
Année de publication : |
2006 |
Collection : |
Sciences sup |
Importance : |
XII-242 p. |
Format : |
24 x 17 cm |
ISBN/ISSN/EAN : |
978-2-10-049147-6 |
Note générale : |
Index |
Langues : |
Français (fre) |
Mots-clés : |
Petri, rØseaux de |
Index. décimale : |
547540 |
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é] / Choquet-Geniet Annie, Auteur . - Paris : Dunod, 2006 . - XII-242 p. ; 24 x 17 cm. - ( Sciences sup) . ISBN : 978-2-10-049147-6 Index Langues : Français ( fre)
Mots-clés : |
Petri, rØseaux de |
Index. décimale : |
547540 |
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. |
|