Les réseaux de Petri - Un outil de modélisation
Cours et exercices corrigés - Licence, Master, écoles d'ingénieur
Annie Choquet-Geniet - Collection Sciences sup
Résumé
Le modèle des réseaux de Petri est un outil graphique de modélisation et d'analyse des systèmes parfaitement adapté à l'étude des structures de contrôle. Il permet notamment de maîtriser et d'assurer la sûreté de fonctionnement de logiciels complexes (aéronautique, transports, industrie...).
Cet ouvrage présente les différentes techniques de modélisation en se référant aux nombreux concepts spécifiques des systèmes de contrôles (parallélisme, précédence, communication, partage de ressources, causalité...). Les différents modèles sont décrits en détail, du modèle de base à quelques-unes de ses extensions temporelles. Les diverses possibilités d'analyses offertes seront également étudiées.
La première partie de l'ouvrage introduit le modèle de base places/transitions, et la seconde traite de quelques extensions du modèle initial pour traiter des problèmes liés aux applications de contrôle des procédés. De nombreux exercices corrigés sont également proposés à la fin de chaque chapitre.
Ce livre s'adresse aux étudiants de licence et master en informatique et en mathématiques ainsi qu'aux élèves d'écoles d'ingénieurs.
L'auteur - Annie Choquet-Geniet
Annie Choquet-Geniet est Maître de conférences habilitée à diriger des recherches à l'université de Poitiers. Ses travaux de recherche concernent la modélisation et la validation des systèmes temps-réel.
Sommaire
- Avant-propos
- Introduction
- Le modèle de base
- Principe de modélisation statistique les réseaux - places/transitions
- Etude comportementale - aspects dynamiques
- Principales propriétés exprimables par réseaux de Pétri
- Réseaux de Pétri et algèbre linéaire
- Les extensions du modèle de base
- Présentation générale des extensions
- Les réseaux de Pétri colorés
- Extension de l'expressivité
- Prise en compte d'un schéma opérationnel
- Prise en compte du temps
- Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Dunod |
| Auteur(s) | Annie Choquet-Geniet |
| Collection | Sciences sup |
| Parution | 09/03/2006 |
| Nb. de pages | 242 |
| Format | 17 x 24 |
| Couverture | Broché |
| Poids | 443g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782100491476 |
| ISBN13 | 978-2-10-049147-6 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Programmation fonctionnelle
- Informatique Développement d'applications Techniques de programmation Programmation parallèle et multithreading
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Informatique Développement d'applications Technologies objet Programmation objet
