DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이태억 | - |
dc.contributor.author | Lee, Hyeong-Yun | - |
dc.contributor.author | 이형윤 | - |
dc.date.accessioned | 2024-07-26T19:30:34Z | - |
dc.date.available | 2024-07-26T19:30:34Z | - |
dc.date.issued | 2023 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1046812&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/320862 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 산업및시스템공학과, 2023.8,[v, 99 p. :] | - |
dc.description.abstract | This paper addresses the branch-and-price algorithm for cyclic scheduling of timed Petri nets (TPN) and the branch-and bound method with tighter lower limits. Specifically, a TPN was employed to model the scheduling problem of cluster tools, a type of semiconductor manufacturing equipment. Cluster tools are typical single wafer process equipment used in most semiconductor processes, capable of performing multiple processes within one facility. Not only are cluster tools very costly, but they also frequently carry out bottleneck processes such as etching and deposition. Solving scheduling problems for efficient operation of cluster tools is vital in the semiconductor industry. Robotic cluster tools often have periodic scheduling, repeating the same work cycle, and we utilize TPN to address this issue. Firstly, we improved the problem-solving speed compared to existing methods by using the branch-and-price algorithm and new modeling. Modeling with assignment problem further enhanced efficiency by providing a lower bound superior to the existing branch and bound method. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 시간을 갖는 페트리넷▼a주기적 스케줄링▼a분지평가법▼a하한▼a휴리스틱 방법 | - |
dc.subject | Timed Petri net▼aCyclic scheduling▼aBranch-and-price▼aBranch-and-bound▼aLower bound▼aHeuristic method | - |
dc.title | Cyclic scheduling of timed petri nets: Efficient exact algorithms and heuristic method | - |
dc.title.alternative | 시간을 갖는 페트리 넷의 주기적 스케줄링: 효율적인 정확한 알고리즘과 휴리스틱 방법 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :산업및시스템공학과, | - |
dc.contributor.alternativeauthor | Lee, Tae-Eog | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.