|
| Titre : | Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés | | Type de document : | texte imprime | | Auteurs : | Annie Choquet-Geniet | | Editeur : | Paris : Dunod | | Année de publication : | 2006 | | Collection : | (Sciences sup. Informatique) | | Importance : | (XII-242 p.) | | Présentation : | ill., couv. ill. en coul. | | Format : | 24 cm | | ISBN/ISSN/EAN : | 978-2-10-049147-6 | | Note générale : |
DL 2006, cop. 2006
Description :
Licence, master, écoles d'Ingénieurs
Index
| | Langues : | Français | | Mots-clés : | Petri, Réseaux de Petri, Réseaux de:problèmes et exercices Systèmes informatiques:modèles mathématiques | | 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. | | Note de contenu : |
Le modèle de base.
Étude comportementale.
Aspects dynamiques.
Les propriétés exprimables par réseaux de Petri.
Réseaux de Petri et algèbre linéaire.
Analyse par réduction.
Les extensions des réseaux de Petri.
Les réseaux de Petri colorés.
Extension de l'expressivité.
Adjonction d'un schéma opérationnel.
Prise en compte du temps.
| | Permalink : | ./index.php?lvl=notice_display&id=10127 |
Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés [texte imprime] / Annie Choquet-Geniet . - Paris : Dunod, 2006 . - (XII-242 p.) : ill., couv. ill. en coul. ; 24 cm. - ( (Sciences sup. Informatique)) . ISBN : 978-2-10-049147-6
DL 2006, cop. 2006
Description :
Licence, master, écoles d'Ingénieurs
Index
Langues : Français | Mots-clés : | Petri, Réseaux de Petri, Réseaux de:problèmes et exercices Systèmes informatiques:modèles mathématiques | | 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. | | Note de contenu : |
Le modèle de base.
Étude comportementale.
Aspects dynamiques.
Les propriétés exprimables par réseaux de Petri.
Réseaux de Petri et algèbre linéaire.
Analyse par réduction.
Les extensions des réseaux de Petri.
Les réseaux de Petri colorés.
Extension de l'expressivité.
Adjonction d'un schéma opérationnel.
Prise en compte du temps.
| | Permalink : | ./index.php?lvl=notice_display&id=10127 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesLes réseaux de Petri / Annie Choquet-Geniet (2006)
