Abstract:This work investigates a scheduling problem of deadlock-prone flexible manufacturing systems modeled by place-timed Petri nets. It proposes an anytime branch and bound (AB&B) algorithm for it to minimize system makespan based on the branch tree of a net model and a highly permissive deadlock controller. The proposed algorithm searches a sequence of transitions in the branch tree that evolves the model from the initial marking to the final one. In order to prune the branch tree and increase search speed, this work develops two pruning rules, a lower bound of makespan, and a novel branching strategy. Their usage ensures AB&B's high search efficiency. Experimental results demonstrate that the proposed algorithm surpasses the state-of-the-art ones. Note to Practitioners—In practice, scheduling is one of the most important issues for production managers to address. Existing approaches to deadlock-prone flexible manufacturing system (FMS) scheduling have multiparameters. Their settings can impact the scheduling results greatly. Since their turning is a challenging task, it is difficult to find the best parameter settings. This article proposes an anytime branch and bound (AB&B) algorithm for minimizing the makespan of deadlock-prone FMSs. It has only one parameter, i.e., maximal CPU time, which needs no turning. When it is highly tight, AB&B can output a feasible and decent schedule. If it is larger and larger, AB&B can output a better and better schedule. Comparison studies show that AB&B outclasses existing ones significantly. It is suitable for real-time scheduling cases in which satisfied schedules must be offered in a very short time.

Deadlock-free Scheduling of Knowledgeable Manufacturing Cell with Limited Buffers

Deadlock-free Genetic Scheduling Algorithm for Flexible Manufacturing Systems with Key Resources

Deadlock and Blockage Control for Manufacturing Systems with Failure-Prone Workstations

Resource Failure and Buffer Space Allocation Control for Automated Manufacturing Systems

A Polynomial Complexity Deadlock Avoidance Method for a Class of Flexible Manufacturing Systems

Pre-allocation and partition of buffers for deadlock control in flexible manufacturing systems

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems with Multiple Unreliable Resources

Inventory Optimization of Manufacturing/remanufacturing Hybrid System with Stochastic Leadtime

Supervisory Control of Deadlock-Prone Production Systems with Routing Flexibility and Unreliable Resources.

AB&B: An Anytime Branch and Bound Algorithm for Scheduling of Deadlock-Prone Flexible Manufacturing Systems

Mathematical modeling and solution of scheduling for deadlock avoidance

Deadlock control and hybrid social spider scheduling algorithm for two-stage assembly permutation flowshop with limited buffers

Scheduling And Control For A Failure Prone System Of Open Shop With Job Overlaps

Knowledge-based dynamic job-scheduling in low-volume/high-variety manufacturing

A New Method to Represent Deadlock in Manufacturing Systems and Its Solution

Production planning with a two-stage stochastic programming model in a kitting facility under demand and yield uncertainties

A Hierarchical Scheduling Model of Manufacturing Systems on Receding Horizon

Optimizing makespan and stability risks in job shop scheduling

Toward Robust Manufacturing Scheduling: Stochastic Job-Shop Scheduling

A two-stage stochastic programming model for lot-sizing and scheduling under uncertainty