|
| Titre : | Du Grafcet aux réseaux de Petri | | Type de document : | texte imprime | | Auteurs : | René David, Auteur ; Alla, Hassane, Auteur | | Mention d'édition : | 2e ed. rev. et augmen. | | Editeur : | Paris : Hermès | | Année de publication : | impr. 1992, cop. 1992 | | Collection : | Série Automatique | | Importance : | (XI-424 p.) | | Présentation : | ill. | | Format : | 24cm | | ISBN/ISSN/EAN : | 978-2-86601-325-7 | | Note générale : |
Bibliographie p. [413]-418. Index | | Langues : | Français | | Mots-clés : | Grafcet Réseaux de petri Machines asynchrone Algorithme Systèmes dynamiques | | Résumé : |
Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations. Du Grafcet aux réseaux de Petri, qui s'adresse en priorité aux enseignants, constitue un support de cours indispensable pour les écoles d'ingénieurs et les universités. Sa conception didactique originale le rend accessible à de nombreux lecteurs. En effet, une centaine d'exercices dont certains très élémentaires sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun de ces exercices. | | Note de contenu : |
Chapitre 1. Grafcet
1.1 Eléments de base
1.2 Evolution de la situation
1.3 Exemples de descriptions par grafcets
1.4 Action et réceptivités
1.5 Algorithme d'interprétation du Grafcet
1.6 Macroétape et pseudo-macroétape
1.7 Macroactions
1.8 Puissance de description du grafcet
1.9 Remarques de conclusion
Chapitre 2. Réseaux de Petri
2.1 Notions de base
2.2 Réseaux de Petri particuliers
2.3 Propriétés des réseaux de Petri
2.4 Graphes des marquages et arbre de couverture
2.5 Algèbre linéaire
2.6 Méthodes de réduction
2.7 D'autres résultats
2.8 Un RdP permet de visualiser
Chapitre 3. Réseaux de Petri non autonomes
3.1 Réseaux de Petri synchronisés
3.2 Réseaux de Petri temporisés
3.3 Réseaux de Petri interprétés
3.4 Réseaux de Petri stochastiques
Chapitre 4. Réseaux de Petri continus
4.1 RdP continus autonomes
4.2 RdP continus temporisés
4.3 RdP continu à vitesse variables (RdPCV)^c4.5 Modélisation des systèmes à évènements discrets
4.6 RdP hybrides
4.7 Remarques de conclusion
Chapitre 5. Réseaux de Petri colorés
5.1 Présentation intuitive
5.2 Définition des réseaux de petri colorés
5.3 Modélisation
5.4 Exemples d'applicaiton
5.5 Propriétés d'un RdP coloré | | Permalink : | ./index.php?lvl=notice_display&id=10059 |
Du Grafcet aux réseaux de Petri [texte imprime] / René David, Auteur ; Alla, Hassane, Auteur . - 2e ed. rev. et augmen. . - Paris : Hermès, impr. 1992, cop. 1992 . - (XI-424 p.) : ill. ; 24cm. - ( Série Automatique) . ISBN : 978-2-86601-325-7
Bibliographie p. [413]-418. Index Langues : Français | Mots-clés : | Grafcet Réseaux de petri Machines asynchrone Algorithme Systèmes dynamiques | | Résumé : |
Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations. Du Grafcet aux réseaux de Petri, qui s'adresse en priorité aux enseignants, constitue un support de cours indispensable pour les écoles d'ingénieurs et les universités. Sa conception didactique originale le rend accessible à de nombreux lecteurs. En effet, une centaine d'exercices dont certains très élémentaires sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun de ces exercices. | | Note de contenu : |
Chapitre 1. Grafcet
1.1 Eléments de base
1.2 Evolution de la situation
1.3 Exemples de descriptions par grafcets
1.4 Action et réceptivités
1.5 Algorithme d'interprétation du Grafcet
1.6 Macroétape et pseudo-macroétape
1.7 Macroactions
1.8 Puissance de description du grafcet
1.9 Remarques de conclusion
Chapitre 2. Réseaux de Petri
2.1 Notions de base
2.2 Réseaux de Petri particuliers
2.3 Propriétés des réseaux de Petri
2.4 Graphes des marquages et arbre de couverture
2.5 Algèbre linéaire
2.6 Méthodes de réduction
2.7 D'autres résultats
2.8 Un RdP permet de visualiser
Chapitre 3. Réseaux de Petri non autonomes
3.1 Réseaux de Petri synchronisés
3.2 Réseaux de Petri temporisés
3.3 Réseaux de Petri interprétés
3.4 Réseaux de Petri stochastiques
Chapitre 4. Réseaux de Petri continus
4.1 RdP continus autonomes
4.2 RdP continus temporisés
4.3 RdP continu à vitesse variables (RdPCV)^c4.5 Modélisation des systèmes à évènements discrets
4.6 RdP hybrides
4.7 Remarques de conclusion
Chapitre 5. Réseaux de Petri colorés
5.1 Présentation intuitive
5.2 Définition des réseaux de petri colorés
5.3 Modélisation
5.4 Exemples d'applicaiton
5.5 Propriétés d'un RdP coloré | | Permalink : | ./index.php?lvl=notice_display&id=10059 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesDu Grafcet aux réseaux de Petri / René David (impr. 1992, cop. 1992)
