000 02731cam a2200349 a 4500
999 _c72562
_d72562
001 3962896
003 CITU
005 20210809133436.0
008 941227s1995 maua b 001 0 eng
010 _a 94049010
020 _a0792395573 (acidfree paper)
040 _aDLC
_cDLC
_dDLC
050 0 0 _aTJ213
_b.P44 1995
082 0 0 _a629.8
_220
245 0 0 _aPetri nets in flexible and agile automation /
_cedited by MengChu Zhou.
264 1 _aBoston :
_bKluwer Academic Publishers
_cc1995.
300 _axix, 379 pages :
_billustrations ;
_c25 cm.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
490 1 _aKluwer international series in engineering and computer science ;
_v310
504 _aIncludes bibliographical references and index.
505 _a1. 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
520 _aOver the past two decades, research in the theory of Petri nets and the development of graphical tools has yielded a powerful methodology.
650 0 _aAutomatic control.
650 0 _aPetri nets.
700 1 _aZhou, MengChu.
830 0 _aKluwer international series in engineering and computer science ;
_vSECS 310.
906 _a7
_bcbc
_corignew
_d1
_eocip
_f19
_gy-gencatlg
942 _2ddc
_cBK