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 |