Petri Nets in Flexible and Agile Automation

1995. Auflage 1995
ISBN: 978-0-7923-9557-7
Verlag: Springer Us

Buch, Englisch, Band 310, 379 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1640 g

Reihe: The Springer International Series in Engineering and Computer Science

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 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. 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.

Zielgruppe

Research

Fachgebiete

• Technische Wissenschaften Maschinenbau | Werkstoffkunde Produktionstechnik Werkzeugbau
• Technische Wissenschaften Maschinenbau | Werkstoffkunde Produktionstechnik Computergestützte Fertigung
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren

Inhaltsverzeichnis

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.