Optimal One-Wafer Cyclic Scheduling of Hybrid Multirobot Cluster Tools With Tree Topology

Yang, FaJun; Wu, Naiqi; Qiao, Yan; Zhou, MengChu

doi:10.1109/tsmc.2016.2587697

Cited by 14 publications

(8 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For a hybrid treelike multi-cluster tool, [28] develops an efficient method to obtain the optimal one-wafer cyclic schedule. For a multi-cluster tool with wafer residency time constraint, [29] and [30] derive the necessary and sufficient conditions under which there is an optimal and feasible onewafer cyclic schedule.…”

Section: B Transfer Linementioning

confidence: 99%

Decomposition methods for manufacturing system scheduling: a survey

Yang

Gao

Simon

et al. 2018

IEEE/CAA J. Autom. Sinica

Self Cite

View full text Add to dashboard Cite

Manufacturing is the application of labor, tools, machines, chemical and biological processing, to an original raw material by changing its physical and geometrical characteristics, in order to make finished products. Since the first industrial revolution, to accommodate the large-scale production, tremendous changes have happened to manufacturing through the innovations of technology, organization, management, transportation and communication. This work first reviews the highvolume low-mix process by focusing on the quantity production, transfer line and single model assembly line. Then, it reviews the high-volume high-mix process. For such a process type, mixed/multi model assembly line is usually adopted. Hence, two main decisions on them, i.e., balancing and, sequencing are reviewed. Thereafter, it discusses the low-volume high-mix process in detail. Then, technology gap and future work is discussed, and at last, conclusions are given.

show abstract

Section: B Transfer Linementioning

confidence: 99%

Decomposition methods for manufacturing system scheduling: a survey

Yang

Gao

Simon

et al. 2018

IEEE/CAA J. Autom. Sinica

Self Cite

View full text Add to dashboard Cite

show abstract

“…For modeling, analysis, and control of manufacturing systems, PNs are widely used as an efficient tool [11]- [13], [19][20]. Based on the work in [11], a PN is defined as follows.…”

Section: A Finite Capacity Petri Netmentioning

confidence: 99%

Cyclic Scheduling Analysis of Single-arm Cluster Tools with Wafer Residency Time Constraint and Chamber Cleaning Operations

Yang

et al. 2018

2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Petri net (PN) proposed by C. A. Petri [1] is a modeling tool to describe discrete event systems and concurrent and parallel systems intuitively and effectively. In the past halfcentury, PN and its extensions such as colored PN (CPN) [2], [3], Timed PN (TPN) [4], and stochastic PN (SPN) [5] have been proposed and used for modeling, simulation, and analysis in a great number of application areas such as computer operating systems [6], flexible manufacturing [7], communications, business processes [8], and transportation systems [9]- [11]. Because of their well mathematical foundation and graphical expression, PN and its extensions are used to describe, analyze, and make sure the systems The associate editor coordinating the review of this manuscript and approving it for publication was Lu Liu . have desirable properties such as liveness, boundedness, and reversibility before the installment of the systems.…”

Section: Introductionmentioning

confidence: 99%

Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method

Luan

et al. 2020

IEEE Access

View full text Add to dashboard Cite

Petri net (PN) is an effective modeling and analysis tool for discrete event systems. By attaching a first-order logic predicate logic formula to a transition in a PN, a high-level Petri net named Logic Petri Net (LPN) is obtained. LPN has been proved to have equivalent modeling capability with inhibition Petri nets but keeps simpler net structures than the latter. It has the advantage of modeling the cooperative systems with the function to process batch and indeterminate resources. This paper proposes a vector computational method for LPN compositional analysis. It studies the composition of LPNs with the shared P-type subnets. Each logical expression is transformed into a unique disjunctive normal one and then into a unique set of vectors. A vector computational method is proposed such that the properties of the composition of the shared P-type subnets such as liveness, boundedness, and reversibility are verified. An E-commerce system with customers, merchants, and a third-party is constructed to illustrate the method. This paper can improve the state of the art in the theory of LPNs.

show abstract

Optimal One-Wafer Cyclic Scheduling of Hybrid Multirobot Cluster Tools With Tree Topology

Cited by 14 publications

References 38 publications

Decomposition methods for manufacturing system scheduling: a survey

Decomposition methods for manufacturing system scheduling: a survey

Cyclic Scheduling Analysis of Single-arm Cluster Tools with Wafer Residency Time Constraint and Chamber Cleaning Operations

Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method

Contact Info

Product

Resources

About