| LDR | | 04053cmm uu200481Ma 4500 |
| 001 | | 000000300821 |
| 003 | | OCoLC |
| 005 | | 20230519141746 |
| 006 | | m eo d |
| 007 | | cr bn|---m|||a |
| 008 | | 130506s2013 pau fob 000 0 eng d |
| 020 | |
▼a 9781466640351 (electronic bk.) |
| 020 | |
▼a 1466640359 (electronic bk.) |
| 020 | |
▼a 9781466640344 (electronic bk.) |
| 020 | |
▼a 1466640340 (electronic bk.) |
| 024 | 7 |
▼a 10.4018/978-1-4666-4034-4
▼2 doi |
| 035 | |
▼a (OCoLC)843617032 |
| 040 | |
▼a IGIGL
▼b eng
▼c IGIGL
▼d OCLCO
▼d OCLCQ
▼d N$T
▼d UIU
▼d OCLCA
▼d 248032 |
| 049 | |
▼a K4RA |
| 050 | 4 |
▼a TS155.6
▼b .F65 2013e |
| 072 | 7 |
▼a COM
▼x 007000
▼2 bisacsh |
| 082 | 04 |
▼a 670.285
▼2 23 |
| 245 | 00 |
▼a Formal methods in manufacturing systems
▼h [electronic resource] :
▼b recent advances /
▼c Zhiwu Li and Abdulrahman M. Al-Ahmari, editors. |
| 260 | |
▼a Hershey, Pa. :
▼b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
▼c c2013. |
| 300 | |
▼a 1 online resource (464 p.) |
| 504 | |
▼a Includes bibliographical references. |
| 505 | 0 |
▼a Nonblocking supervisory control of flexible manufacturing systems based on state tree structures / Wujie Chao ... [et al.] -- Petri net supervisory method for linear constraints and its applications to flexible manufacturing systems / Jiliang Luo -- Distributed maximally permissive nonblocking control of flexible manufacturing systems / Renyuan Zhang ... [et al.] -- A computationally improved control policy for FMS using crucial marking/transition-separation instances / Yi-Sheng Huang, Yen-Liang Pan -- Hybrid optimization techniques for industrial production planning / Pandian Vasant -- MDA-based methodology for verifying distributed execution of embedded systems models / Aniko? Costa ... [et al.] -- A resource-oriented Petri net approach to scheduling and control of time-constrained cluster tools in semiconductor fabrication / NaiQi Wu, MengChu Zhou -- Real-time scheduling and control of single-arm cluster tools with residency time constraint and activity time variation by using resource-oriented Petri nets / Yan Qiao, NaiQi Wu, MengChu Zhou -- Intelligent computation for manufacturing / Ashraf Afify -- Feasible dynamic reconfigurations of Petri nets / Jia Feng Zhang ... [et al.] -- A critical-siphon approach to fastest deadlock controller for S3PR / Daniel Yuh Chao -- Iterative deadlock control for Petri net models of automated manufacturing systems: algorithms and case studies / Anrong Wang, MengChu Zhou -- Design of optimized Petri net supervisors for flexible manufacture systems based on elementary siphons / Mingming Yan -- Deadlock control in generalized Petri nets / Mi Zhao, Yifan Hou -- Deadlock prevention for automated manufacturing systems with uncontrollable and unobservable transitions: a Petri net approach / Meng Qin -- Solving siphons with the minimal cardinality for deadlock control / Shaoyong Li -- Composition of functional Petri nets / Dmitry A. Zaitsev. |
| 520 | 3 |
▼a "This book explores formal methods and the shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones"--Provided by publisher. |
| 588 | |
▼a Description based on title screen (IGI Global, viewed May 6, 2013). |
| 650 | 0 |
▼a Production engineering
▼x Data processing. |
| 650 | 0 |
▼a Production engineering
▼x Technological innovations. |
| 650 | 0 |
▼a Formal methods (Computer science) |
| 650 | 0 |
▼a Petri nets. |
| 650 | 7 |
▼a COMPUTERS / CAD-CAM.
▼2 bisacsh |
| 655 | 4 |
▼a Electronic books. |
| 700 | 1 |
▼a Li, ZhiWu,
▼d 1967- |
| 700 | 1 |
▼a Al-Ahmari, Abdulrahman M.,
▼d 1968- |
| 776 | 08 |
▼i Print version:
▼z 1466640340
▼z 9781466640344
▼w (DLC) 2013001749 |
| 856 | 40 |
▼3 EBSCOhost
▼u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569866 |
| 938 | |
▼a IGI Global
▼b IGIG
▼n 00073558 |
| 938 | |
▼a EBSCOhost
▼b EBSC
▼n 569866 |
| 990 | |
▼a 관리자 |
| 994 | |
▼a 92
▼b K4R |