Petri Nets in Flexible and Agile Automation

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.

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