000			02745nam a2200301 4500
090			_a147308 _9147308
001			FRBNF35581638000000X
010			_a2866013255 _bbr.
011			_a09893571
020			_b09332629
100			_a19930826d1992 k y0frey50 ba
101	0		_afre
105			_aa j 00|||
106			_ar
200	1		_aDu Grafcet aux réseaux de Petri _bLIVR _fRené David, Hassane Alla
205			_a2e édition revue et augmentée
210			_aParis _cHERMES _dDL 1997 _dCop 1992 _e58-Clamecy _gImpr. en France
215			_a1 volume de 500 pages _cIllustrée en noir et blanc, couverture illustrée en couleur _d24 cm
225			_aTraité des nouvelles technologies _iSérie Automatique _x0989-3571
300			_aBibliogr. p. 485-491. Index
330			_aLes 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.
410		0	_034247619 _tTraité des nouvelles technologies. Série Automatique _x0989-3571 _d1993
606			_311942909 _aGRAFCET _2rameau
676			_a629.831 2 _v23
686			_2Cadre de classement de la Bibliographie nationale française
700			_312111771 _aDavid _bRené _f1939-.... _4070 _93606
701			_312146153 _aAlla _bHassane Lotfi _f1952-.... _4070 _93607
801		0	_aFR _bFR-751131015 _c19930826 _gAFNOR _2intermrc