MengChu Zhou (ed.)

Petri Nets in Flexible and Agile Automation

Herausgegeben:Zhou, MengChu

• Gebundenes Buch

Produktbeschreibung

Over the past two decades, research in the theory of Petri nets and the development of graphical tools has yielded a powerful methodology. The contributions in Petri Nets in Flexible and Agile Automation present theoretical development of Petri nets as well as in industrial applications to areas such as discrete- event control design, scheduling, performance evaluation and deadlock avoidance. These contributions also include comparative studies of Petri nets and other approaches.
A primary theme of this book is to provide a unified approach to the applications of Petri nets in flexible and agile automation and, in that regard, a common notation and terminology is used. The book also allows readers to evaluate the benefits and applicability of state-of-the-art Petri net methods and apply CAD tools to problems of interest. Petri Nets in Flexible and Agile Automation is not only an essential reference for researchers, it is also a very useful tool for engineers, analysts and managers who are responsible for the design, implementation and operation of the next generation of manufacturing systems.

Produktdetails

• The Springer International Series in Engineering and Computer Science 310
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-0-7923-9557-7
• 1995.
• Seitenzahl: 379
• Erscheinungstermin: 31. März 1995
• Englisch
• Abmessung: 234mm x 156mm x 24mm
• Gewicht: 1640g
• ISBN-13: 9780792395577
• ISBN-10: 0792395573
• Artikelnr.: 27067328

Inhaltsangabe

1 Introduction to Petri Nets in Flexible and Agile Automation.- 2 Application of Petri Nets to Sequence Control Programming.- 3 Computer Aided Design of Logic Controllers with Petri Nets.- 4 Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications.- 5 Planning and Scheduling Based on Petri Nets.- 6 Petri Net-Based Heuristic Scheduling for Flexible Manufacturing.- 7 Scheduling and Rescheduling of AGVs for Flexible and Agile Manufacturing.- 8 Stochastic Petri Net Models of Communication and Flexible Systems.- 9 Deadlock Avoidance Policy for Flexible Manufacturing Systems.- 10 Discrete-Event Control Design for Manufacturing Systems via Ladder Logic Diagrams and Petri Nets: A Comparative Study.- 11 From State Transition Models to DFD Extended Methods for Specifying Reactive Systems.- 12 Supervisory Control Specification and Synthesis.