- EAN13
- 9782746235144
- Éditeur
- Hermès science publications
- Date de publication
- 15/11/1992
- Langue
- français
- Fiches UNIMARC
- S'identifier
Du Grafcet au réseau de Pétri
(collection Traité des Nouvelles Technologies - Série automatique)
René David, Hassane Alla
Hermès science publications
Livre numérique
Autre version disponible
Le Grafcet est un outil de spécification des automatismes logiques. 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 et introduit les réseaux de Petri synchronisés étendus. 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
d'eux.
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 et introduit les réseaux de Petri synchronisés étendus. 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
d'eux.
S'identifier pour envoyer des commentaires.