Robust Deadlock Prevention for Automated Manufacturing Systems With Unreliable Resources by Using General Petri Nets

Feng, Yanxiang; Xing, Keyi; Zhou, MengChu; Wang, Xin‐Nian; Liu, Huixia

doi:10.1109/tsmc.2018.2884316

Cited by 31 publications

(18 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a result of these differences, the idea of robustness and robust control objectives in these studies are completely different from those in this paper. For robust deadlock control in [37]- [40], [42], [43], [45], [46], [49], there must exist more than one type of an unreliable resource, while in this study, failure of an unreliable does not effect the processing of part types that do not require the failed resource. To avoid repetition here, readers can refer to [50] for more details about the performance analysis and comparison of these robust deadlock control policies [25]- [37], [40], [43]- [45], [47]- [49] and other policies not mentioned in this study.…”

Section: Comparison With Previous Studiesmentioning

confidence: 93%

“…First, the types of AMSs considered in this work are different from the ones considered in [37]- [40], [42], [43], [45], [49]. In [37]- [40], [42], [43], [45], [46], [49] a resource type consists of robots and machines without buffer spaces, while in this work a resource type is a workstation composed of buffer spaces that accommodate and hold part types, and a server or processor that processes parts occupying the buffer spaces. Second, a resource failure in this work means the failure of a This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.…”

Section: Comparison With Previous Studiesmentioning

confidence: 99%

See 1 more Smart Citation

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

2021

View full text Add to dashboard Cite

In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes a novel robust supervisory control policy for automated manufacturing systems with multiple unreliable resources without using central buffers. The policy permits legal states as many as possible and ensures that parts not requiring unreliable resources can be automatically processed without human intervention if one or multiple unreliable resources fail. It is based on the modified neighborhood policy, namely single route neighborhood, which handles the allocation of failure-prone resources in a system. To guarantee deadlock-free operations in the remaining parts of the system, monitors are designed for emptiable strictly minimal siphons. Through examples, the applicability of the proposed policy is demonstrated.

show abstract

Section: Comparison With Previous Studiesmentioning

confidence: 93%

Section: Comparison With Previous Studiesmentioning

confidence: 99%

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

2021

View full text Add to dashboard Cite

show abstract

“…The feasibility of each solution must be examined and the infeasible ones are repaired. There are some works addressing the deadlock problem of FMSs [32][33][34][35][36], and deadlock-free operations of FMSs can thus be guaranteed. In this work, an Amending Algorithm proposed by [17] is used to obtain a feasible sequence of transitions from M 0 to M f .…”

Section: Representation Interpretationmentioning

confidence: 99%

A Novel MOEA/D for Multiobjective Scheduling of Flexible Manufacturing Systems

et al. 2019

Self Cite

View full text Add to dashboard Cite

This paper considers the multiobjective scheduling of flexible manufacturing systems (FMSs). Due to high degrees of route flexibility and resource sharing, deadlocks often exhibit in FMSs. Manufacturing tasks cannot be finished if any deadlock appears. For solving such problem, this work develops a deadlock-free multiobjective evolutionary algorithm based on decomposition (DMOEA/D). It intends to minimize three objective functions, i.e., makespan, mean flow time, and mean tardiness time. The proposed algorithm can decompose a multiobjective scheduling problem into a certain number of scalar subproblems and solves all the subproblems in a single run. A type of a discrete differential evolution (DDE) algorithm is also developed for solving each subproblem. The mutation operator of the proposed DDE is based on the hamming distance of two randomly selected solutions, while the crossover operator is based on Generalization of Order Crossover. Experimental results demonstrate that the proposed DMOEA/D can significantly outperform a Pareto domination-based algorithm DNSGA-II for both 2-objective and 3-objective problems on the studied FMSs.

show abstract

“…A resource failure can produce new deadlocks in a controlled net, leading to severe loss before the failure is recovered [27], [30], [31]. Therefore, we should devise a robust deadlock approach to keep the liveness property and maintain a continuous production flow for a system even if there are unreliable resources [31], [33], [37]- [42], [47].…”

Section: Introductionmentioning

confidence: 99%

“…The robust deadlock control methods in [42] and [47] are also designed for generalized PNs with unreliable resources. In [42], an ES 3 PR (extend S 3 PR) model with a single type of unreliable resources is used. It should be noticed that GS 3 PRs are not a proper subclass of ES 3 PRs and vice versa.…”

Section: Introductionmentioning

confidence: 99%

Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons

et al. 2019

View full text Add to dashboard Cite

There have been a variety of deadlock control strategies proposed for automated manufacturing systems (AMSs) without taking unreliable resources into account in the framework of Petri nets. However, in addition to deadlocks, resource malfunction problems may also arise to make a system collapse in the real world. This paper develops a new deadlock control method for a generalized system of simple sequential processes with resources (GS 3 PR), where a class of unreliable GS 3 PR (U-GS 3 PR) is considered. Recovery subnets are used to describe an unreliable resource failure and its recovery process in a Petri net model. First, we compute all the strict minimal siphons (SMSs) in a GS 3 PR net. Second, with the concept of max-controllability of siphons, a monitor is added to each SMS. However, the net loses liveness when unreliable resources are taken into consideration with recovery nets being added for their operation places. Then, by using the concept of constraint set, we add related arcs between the transitions in recovery subnets and original monitors. Finally, a robust deadlock controller is designed for the AMSs according to the max-controllability of siphons. INDEX TERMS Automated manufacturing system, Petri net, supervisor, max-controllability of siphons, robust deadlock control.

show abstract

Robust Deadlock Prevention for Automated Manufacturing Systems With Unreliable Resources by Using General Petri Nets

Cited by 31 publications

References 43 publications

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

A Novel MOEA/D for Multiobjective Scheduling of Flexible Manufacturing Systems

Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons

Contact Info

Product

Resources

About