가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Formal methods in manufacturing systems : recent advances / [electronic resource]
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Li, ZhiWu, 1967- Al-Ahmari, Abdulrahman M., 1968- |
| 서명/저자사항 | Formal methods in manufacturing systems[electronic resource] :recent advances /Zhiwu Li and Abdulrahman M. Al-Ahmari, editors. |
| 발행사항 | Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2013. |
| 형태사항 | 1 online resource (464 p.) |
| ISBN | 9781466640351 (electronic bk.) 1466640359 (electronic bk.) 9781466640344 (electronic bk.) 1466640340 (electronic bk.) |
| 기타표준부호 | 10.4018/978-1-4666-4034-4doi |
| 서지주기 | Includes bibliographical references. |
| 내용주기 | 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. |
| 요약 | "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. |
| 일반주제명 | Production engineering -- Data processing. Production engineering -- Technological innovations. Formal methods (Computer science) Petri nets. COMPUTERS / CAD-CAM. |
| 언어 | 영어 |
| 기타형태 저록 | Print version:14666403409781466640344 |
| 대출바로가기 | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569866 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00001741 | 670.285 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |
|
카피라이터
