Du Grafcet aux réseaux de Petri
La 4e de couverture indique : "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ée en 1977, il est maintenant largement enseigné et uti...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Livre papier |
| Γλώσσα: | Français |
| Έκδοση: |
Paris :
Hermès
DL 1992.
|
| Έκδοση: | 2e édition revue et augmentée. |
| Σειρά: | Traité des nouvelles technologies. Série Automatique
|
| Θέματα: | |
| Σημείωση: |
Autres tirages : 1997, 2007 |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02741nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 50800 | ||
| 008 | 930826t19921992xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN002926156 | ||
| 020 | |a 2866013255 (br.) : |c 375 FRF | ||
| 024 | |a 9782866013257 | ||
| 041 | 0 | |a fre | |
| 080 | |a 67 | ||
| 082 | |a 670 | ||
| 100 | 1 | |a David, René, |d 1939-2022, |c physicien. | |
| 245 | 1 | 0 | |a Du Grafcet aux réseaux de Petri |c René David et Hassane Alla,.. |
| 250 | |a 2e édition revue et augmentée. | ||
| 260 | |a Paris : |b Hermès, |c DL 1992. | ||
| 300 | |a 1 volume (500 pages) : |b illustrations ; |c 24 cm. | ||
| 490 | 1 | |a Traité des nouvelles technologies. Série Automatique |x 0989-3571 | |
| 500 | |a Autres tirages : 1997, 2007 | ||
| 504 | |a Bibliographie p. [485]-491. Index | ||
| 505 | 0 | |a P. 19 -- Chapitre 1. Réseaux de Petri -- P. 105 ## -- Chapitre 2. Réseaux de Petri non autonomes -- P. 171 -- Chapitre 3. Réseaux de Petri continus et hybrides -- P. 239 -- Chapitre 4. Réseaux de Petri colorés -- P. 269 -- Chapitre 5. Grafcet | |
| 520 | |a La 4e de couverture indique : "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ée 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." | ||
| 650 | |a GRAFCET | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a Théorie des graphes | ||
| 650 | |a Automatismes séquentiels | ||
| 650 | |a Systèmes échantillonnés | ||
| 700 | 1 | |a Alla, Hassane Lotfi, |d 1952-...., |c professeur en automatique-productique. |4 aut | |
| 997 | |0 50800 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 0/Châteauroux/ |c 0/Orléans/ |c 1/Bourges/INSA CVL/ |c 1/Châteauroux/IUT de l'Indre/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, F323-6 |z Châteauroux, IUT de l'Indre, 629.8 DAV |z Bourges, INSA CVL, 511.3 DAV | ||