An efficient mixed integer programming model based on timed Petri nets for diverse complex cluster tool scheduling problems
C Jung, TE Lee - IEEE Transactions on Semiconductor …, 2011 - ieeexplore.ieee.org
Cluster tools are automated production cells which are largely used for semiconductor
manufacturing. They consist of several processing modules (PMs) and a transportation …
manufacturing. They consist of several processing modules (PMs) and a transportation …
Iterative multimodal processes scheduling
The paper considers the problem of Automated Guided Vehicles (AGVs) fleet scheduling
subject to the right match-up of local cyclic acting AGV schedules to given workpiece …
subject to the right match-up of local cyclic acting AGV schedules to given workpiece …
Declarative approach to cyclic steady state space refinement: periodic process scheduling
G Bocewicz, ZA Banaszak - The International Journal of Advanced …, 2013 - Springer
Problems of cyclic scheduling are usually observed in flexible manufacturing systems which
produce multitype parts where the automated guided vehicle system plays the role of a …
produce multitype parts where the automated guided vehicle system plays the role of a …
A branch and bound algorithm for cyclic scheduling of timed Petri nets
A timed Petri net (TPN) has been widely used for modeling, scheduling, and analyzing
discrete event dynamic systems. This study examines cyclic scheduling problems of a TPN …
discrete event dynamic systems. This study examines cyclic scheduling problems of a TPN …
Production flows scheduling subject to fuzzy processing time constraints
G Bocewicz, IE Nielsen… - International Journal of …, 2016 - Taylor & Francis
Effective sequencing and scheduling of material handling systems (MHSs) have a major
impact on the productivity of a manufacturing system. Since the main function of a MHS is to …
impact on the productivity of a manufacturing system. Since the main function of a MHS is to …
Automated guided vehicles fleet match-up scheduling with production flow constraints
The paper describes a Multimodal Transportation Network (MTN) in which several unimodal
networks (Automated Guided Vehicles (AGVs), hoists, lifts, etc.) interact with each other via …
networks (Automated Guided Vehicles (AGVs), hoists, lifts, etc.) interact with each other via …
[HTML][HTML] A mixed integer programming model for the cyclic job-shop problem with transportation
P Brucker, EK Burke, S Groenemeyer - Discrete applied mathematics, 2012 - Elsevier
This paper focuses on the study of cyclic job-shop problems with transportation and
blocking. Within this domain, there are many real world problems like large scale …
blocking. Within this domain, there are many real world problems like large scale …
Multimodal processes rescheduling: cyclic steady states space approach
The paper concerns cyclic scheduling problems arising in a Multimodal Transportation
Network (MTN) in which several unimodal networks (AGVs, hoists, lifts, etc.) interact with …
Network (MTN) in which several unimodal networks (AGVs, hoists, lifts, etc.) interact with …
Switching models and control of Petri Nets with shared resources under marking constraints
Nowadays multi-option phenomena can generate potential problems related to industrial
manufacturing systems. For instance, time and money loss are both expensive costs that …
manufacturing systems. For instance, time and money loss are both expensive costs that …
A min-max problem for the computation of the cycle time lower bound in interval-based time Petri nets
S Bernardi, J Campos - IEEE Transactions on Systems, Man …, 2013 - ieeexplore.ieee.org
The time Petri net with firing frequency intervals (TPNF) is a modeling formalism used to
specify system behavior under timing and frequency constraints. Efficient techniques exist to …
specify system behavior under timing and frequency constraints. Efficient techniques exist to …