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 (1961-....), Auteur |
Editeur : |
Paris : Dunod |
Année de publication : |
DL 2006 |
Collection : |
Sciences sup |
ISBN/ISSN/EAN : |
978-2-10-049147-6 |
Note générale : |
La couv. porte en plus : "licence, master, écoles d'ingénieurs"
|
Catégories : |
Informatique Informatique:Informatique, traitement des données Informatique:Informatique, traitement des données:Communications, interfaçage
|
Mots-clés : |
Petri, Réseaux de Manuels d'enseignement supérieur Systèmes informatiques Modèles mathématiques |
Index. décimale : |
004.6 Communications, interfaçage |
Résumé : |
L'ouvrage est consacré à la modélisation et à 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...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre. |
Les réseaux de Petri : un outil de modélisation ; cours et exercices corrigés [texte imprimé] / Annie Choquet-Geniet (1961-....), Auteur . - Paris : Dunod, DL 2006. - ( Sciences sup) . ISBN : 978-2-10-049147-6 La couv. porte en plus : "licence, master, écoles d'ingénieurs"
Catégories : |
Informatique Informatique:Informatique, traitement des données Informatique:Informatique, traitement des données:Communications, interfaçage
|
Mots-clés : |
Petri, Réseaux de Manuels d'enseignement supérieur Systèmes informatiques Modèles mathématiques |
Index. décimale : |
004.6 Communications, interfaçage |
Résumé : |
L'ouvrage est consacré à la modélisation et à 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...). Cet ouvrage explique le modèle des réseaux de Petri, outil graphique d'analyse qui permet de modéliser tous les concepts spécifiques (parallélisme, précédence, communication, partage de ressources, causalité...). La première partie de l'ouvrage traite du modèle de base : le modèle place/transition, et la seconde traite de quelques extensions du modèle initial. Des exercices corrigés sont proposés à la fin de chaque chapitre. |
| |