| Titre : | Petri net synthesis for discrete event control of manufacturing systems |
| Auteurs : | MengChu Zhou, Auteur ; Frank DiCesare, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Boston : Kluwer academic publishers, 1993 |
| Collection : | The kluwer international series in engineering and computer science |
| Sous-collection : | Discrete event dynamic systems, num. 204 |
| ISBN/ISSN/EAN : | 978-0-7923-9289-7 |
| Format : | XXI-233 p. / ill. / 24 cm |
| Note générale : | Bibliogr. p. [209]-228. Index |
| Langues : | Anglais |
| Index. décimale : | 62-52 (Machine et processus conduits ou contrôlés automatiquement) |
| Tags : | Flexible manufacturing systems -- Mathematical models Petri nets Production control -- Mathematical models Fabrication, Systèmes flexibles de -- Modèles mathématiques Production -- Gestion -- Modèles mathématiques Petri, Réseaux de |
| Résumé : | Helps engineers and research workers develop their own discrete event control applications and experiments. This work develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and theoretical results in Petri synthesis. It also includes the algorithm and implementation details for a flexible manufacturing system. |
| Note de contenu : |
Contents:
* Petri Nets and Manufacturing Systems. * Parallel Mutual Exclusions. * Sequential Mutual Exclusion. * Hybrid Synthesis of Petri Nets. * Illustration of Hybrid Synthesis. * Discrete Event Control of FMS. * Augmentation of Petri Nets. * Petri Nets: Past, Present and Future. |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 62-52 ZHO | Papier | Bibliothèque Centrale | Automatique | Disponible |
