| Titre : | Du Grafcet aux réseaux de Petri | | Type de document : | Livres, articles, périodiques | | Auteurs : | René David (1939-....), Auteur ; Hassane Lotfi Alla (1952-....), Auteur | | Editeur : | Paris : Hermès | | Année de publication : | 1989 | | Collection : | Traité des nouvelles technologies. Série Automatique | | Sous-collection : | Série automatique | | Importance : | XI-423 p. | | Présentation : | ill. | | Format : | 24 cm | | ISBN/ISSN/EAN : | 978-2-86601-195-6 | | Prix : | 375 F | | Note générale : | Bibliogr. p. 413-418. Index | | Langues : | Français (fre) | | Mots-clés : | GRAFCET Petri, Réseaux de Systèmes échantillonnés | | Index. décimale : | 681.5 Technologie intelligente. Systèmes de contrôles. Automation | | 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 description des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Les réseaux de Petri permettent la description de systèmes à évènements discrets de toute nature. Ils possèdent de solides 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 (réseaux de Petri synchronisés, temporisés, stochastiques, continus, colorés).[...]" (source : 4ème de couverture) | | Note de contenu : | Sommaire :
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é |
Du Grafcet aux réseaux de Petri [Livres, articles, périodiques] / René David (1939-....), Auteur ; Hassane Lotfi Alla (1952-....), Auteur . - Paris : Hermès, 1989 . - XI-423 p. : ill. ; 24 cm. - ( Traité des nouvelles technologies. Série Automatique. Série automatique) . ISBN : 978-2-86601-195-6 : 375 F Bibliogr. p. 413-418. Index Langues : Français ( fre) | Mots-clés : | GRAFCET Petri, Réseaux de Systèmes échantillonnés | | Index. décimale : | 681.5 Technologie intelligente. Systèmes de contrôles. Automation | | 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 description des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Les réseaux de Petri permettent la description de systèmes à évènements discrets de toute nature. Ils possèdent de solides 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 (réseaux de Petri synchronisés, temporisés, stochastiques, continus, colorés).[...]" (source : 4ème de couverture) | | Note de contenu : | Sommaire :
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é |
|  |
Faire une suggestion Affiner la rechercheDu Grafcet aux réseaux de Petri / René David
