TY - BOOK AU - Zhou,MengChu TI - Petri nets in flexible and agile automation T2 - Kluwer international series in engineering and computer science SN - 0792395573 (acidfree paper) AV - TJ213 .P44 1995 U1 - 629.8 20 PY - 1995/// CY - Boston PB - Kluwer Academic Publishers KW - Automatic control KW - Petri nets N1 - Includes bibliographical references and index; 1. Introduction to Petri Nets in Flexible and Agile Automation / MengChu Zhou and Richard Zurawski -- 2. Application of Petri Nets to Sequence Control Programming / Tomohiro Murata -- 3. Computer Aided Design of Logic Controllers with Petri Nets / Luca Ferrarini -- 4. Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications / Takashi Sato and Kazuo Nose -- 5. Planning and Scheduling Based on Petri Nets / Jean-Marie Proth and Ioannis Minis -- 6. Petri Net-Based Heuristic Scheduling for Flexible Manufacturing / Doo Yong Lee and Frank DiCesare -- 7. Scheduling and Rescheduling of AGVs for Flexible and Agile Manufacturing / Shifang Li, Toshi Takamori and Satoshi Tadokoro -- 8. Stochastic Petri Net Models of Communication and Flexible Systems / Jiacun Wang and Shengbing Jiang -- 9. Deadlock Avoidance Policy for Flexible Manufacturing Systems / Keyi Xing, Baosheng Hu and Haoxun Chen -- 10. Discrete-Event Control Design for Manufacturing Systems via Ladder Logic Diagrams and Petri Nets: A Comparative Study / Kurapati Venkatesh, MengChu Zhou and Reggie 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 / Mohsen Jafari N2 - Over the past two decades, research in the theory of Petri nets and the development of graphical tools has yielded a powerful methodology ER -