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

Preface. 1. Introduction to Petri Nets in Flexible and Agile Automation; MengChu Zhou, R. Zurawski. 2. Application of Petri Nets to Sequence Control Programming; T. Murata. 3. Computer Aided Design of Logic Controllers with Petri Nets; L. Ferrarini. 4. Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications; T. Sato, K. Nose. 5. Planning and Scheduling Based on Petri Nets; J.-M. Proth, I. Minis. 6. Petri Net-Based Heuristic Scheduling for Flexible Manufacturing; Doo Young Lee, F. DiCesare. 7. Scheduling and Rescheduling of AGVs for Flexible and Agile Manufacturing; Shifang Li, T. Takamori, S. Tadokoro. 8. Stochastic Petri Net Models of Communication and Flexible Systems; Jiacun Wang, Shengbing Jiang. 9. Deadlock Avoidance Policy for Flexible Manufacturing Systems; Keyi Xing, Baosheng Hu, Haoxun Chen. 10. Discrete-Event Control Design for Manufacturing Systems via Ladder Logic Diagrams and Petri Nets: a Comparative Study; K. Venkatesh, MengChu Zhou, R.J. Caudill. 11. From State Transition Models to DFD Extended Methods for Specifying Reactive Systems; Abd-El-Kader Sahraoui. 12. Supervisory Control Specification and Synthesis; M. Jafari. Index.