Nantilus
Du Grafcet aux réseaux de Petri
"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 Grafcte est un outil de description des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Du Grafcet aux réseaux de Petri / René David, Hassane Alla |
| Publié : |
Paris :
Hermès
, 1989 |
| Description matérielle : | 1 vol. (XI-424 p.) |
| Collection : | Traité des nouvelles technologies. Série Automatique |
| Sujets : |
| LEADER | 04380cam a2200721 4500 | ||
|---|---|---|---|
| 001 | PPN007412053 | ||
| 003 | http://www.sudoc.fr/007412053 | ||
| 005 | 20240820063600.0 | ||
| 010 | |a 2-86601-195-3 |b rel. |d 375 F | ||
| 020 | |a FR |b 09014833 | ||
| 021 | |a FR |b DL 90-03420 | ||
| 033 | |a http://catalogue.bnf.fr/ark:/12148/cb350703470 | ||
| 035 | |a 134894715 |9 sudoc | ||
| 035 | |a (OCoLC)21113789 | ||
| 035 | |a ocm21113789 | ||
| 035 | |a sib0228082 | ||
| 035 | |a ubs49803 | ||
| 035 | |a DYNIX_BUNAN_331666 | ||
| 035 | |a IFREMER36093 | ||
| 035 | |a CNAM47300 | ||
| 035 | |a frBN007785938 | ||
| 035 | |a FRBNF350703470000000 |z FRBNF35070347 | ||
| 073 | 0 | |a 9782866011956 | |
| 100 | |a 19900726h19891989k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a y aa 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Du Grafcet aux réseaux de Petri |f René David, Hassane Alla | |
| 214 | 0 | |a Paris |c Hermès | |
| 214 | 3 | |d 1989 | |
| 215 | |a 1 vol. (XI-424 p.) |d 24 cm | ||
| 225 | 2 | |a Traité des nouvelles technologies |i Série Automatique |x ISSN 0989-3571 | |
| 320 | |a Bibliographie p. [413]-418. Index | ||
| 330 | |a "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 Grafcte 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) | ||
| 359 | 2 | |b Chapitre 1. Grafcet |c 1.1 Eléments de base |c 1.2 Evolution de la situation |c 1.3 Exemples de descriptions par grafcets |c 1.4 Action et réceptivités |c 1.5 Algorithme d'interprétation du Grafcet |c 1.6 Macroétape et pseudo-macroétape |c 1.7 Macroactions |c 1.8 Puissance de description du grafcet |c 1.9 Remarques de conclusion |b Chapitre 2. Réseaux de Petri |c 2.1 Notions de base |c 2.2 Réseaux de Petri particuliers |c 2.3 Propriétés des réseaux de Petri |c 2.4 Graphes des marquages et arbre de couverture |c 2.5 Algèbre linéaire |c 2.6 Méthodes de réduction |c 2.7 D'autres résultats |c 2.8 Un RdP permet de visualiser |b Chapitre 3. Réseaux de Petri non autonomes |c 3.1 Réseaux de Petri synchronisés |c 3.2 Réseaux de Petri temporisés |c 3.3 Réseaux de Petri interprétés |c 3.4 Réseaux de Petri stochastiques |b Chapitre 4. Réseaux de Petri continus |c 4.1 RdP continus autonomes |c 4.2 RdP continus temporisés |c 4.3 RdP continu à vitesse variables (RdPCV)^c4.5 Modélisation des systèmes à évènements discrets |c 4.6 RdP hybrides |c 4.7 Remarques de conclusion |b Chapitre 5. Réseaux de Petri colorés |c 5.1 Présentation intuitive |c 5.2 Définition des réseaux de petri colorés |c 5.3 Modélisation |c 5.4 Exemples d'applicaiton |c 5.5 Propriétés d'un RdP coloré | |
| 410 | | | |0 00123448X |t Traité des nouvelles technologies. Série Automatique |x 0989-3571 | |
| 606 | |3 PPN02767536X |a Systèmes échantillonnés |2 rameau | ||
| 606 | |3 PPN027373444 |a GRAFCET |2 rameau | ||
| 606 | |3 PPN027674401 |a Petri, Réseaux de |2 rameau | ||
| 675 | |a 62 |v Éd. 1967 | ||
| 676 | |a 629.8 | ||
| 680 | |a QA267 | ||
| 700 | 1 | |3 PPN029503620 |a David |b René |f 1939-2022 |c physicien |4 070 | |
| 701 | 1 | |3 PPN029943213 |a Alla |b Hassane Lotfi |f 1952-.... |c professeur en automatique-productique |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20240123 |g AFNOR |h 134894715 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 3 | |a FR |b BN |g AFNOR | |
| 979 | |a IUTN | ||
| 979 | |a STN | ||
| 915 | |5 441842101:180864289 |a 0100018760 |b 0100018760 | ||
| 919 | |5 441842101:180864289 |a 0100018760 | ||
| 930 | |5 441842101:180864289 |b 441842101 |j u | ||
| 930 | |5 441092206:808105930 |b 441092206 |j s | ||
| 991 | |5 441092206:808105930 |a Exemplaire créé en masse par ITEM. le 18-01-2024 11:24 | ||
| 998 | |a 143360 | ||