Prêtable
| Titre : | Les réseaux de petri : Un outil de modélisation , cours et exercices corrigés |
| Auteurs : | Annie Choquet- Geniet |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Dunod, 2006 |
| Collection : | Sciences Sup |
| ISBN/ISSN/EAN : | 978-2-10-049147-6 |
| Format : | XII-242 p. / ill.; couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 003 (Systèmes (analyse, conception, optimisation,recherche opérationnelle, systémique) |
| Catégories : | |
| Mots-clés: | Petri, Réseaux . |
| 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. |
| Note de contenu : |
Sommaire :
Partie 1: LE MODELE DE BASE Chapitre 1: Principe de modélisation statistique les réseaux - places/transitions Chapitre 2: Etude comportementale - aspects dynamiques Chapitre 3: Principales propriétés exprimables par réseaux de Pétri Chapitre 4: Réseaux de Pétri et algèbre linéaire Partie 2: LES EXTENSIONS DU MODELE DE BASE Chapitre 5: Présentation générale des extensions Chapitre 6: Les réseaux de Pétri colorés Chapitre 7: Extension de l'expressivité Chapitre 8: Prise en compte d'un schéma opérationnel Chapitre 9: Prise en compte du temps |
Exemplaires (4)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/3652 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/3653 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/4291 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/4292 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
