Deadlock avoidance control for manufacturing systems with multiple capacity resources

Ferrarini, Luca; Maroni, M.

doi:10.1007/bf01438225

Cited by 25 publications

(5 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The following nodes are not full: 16,17,18,22,23,25,26 For the RG of the RPNM, shown in Fig. 7, the critical good states and bad transitions, which must be stopped from occurring in order to obtain an optimal deadlock prevention control policy, are shown in Table 2.…”

Section: Illustrative Examplementioning

confidence: 99%

“…Therefore, 17 .p s |s2S}=)min(0, 0, )1, 0, )1, )1, 0, )2, )1, )1, )2, 0, )2, )1, )1, )2, )1, )2, )2, )2)=2 g 17 satisfies condition 3 of the theory of regions [22] and (r 17 ,g 17 ) solves ESSP A (s 10 ,t 11 ). The synthesised region g 17 with its initial marking r 17 (s 0 )=2 and related arcs is tabulated in Table 7.…”

Section: Solving the Event/state Separation Problems (Essp)mentioning

confidence: 99%

“…Several efforts have been focused on the problem of deadlock in an FMS [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]. There are mainly three approaches to deal with the problem of deadlocks in FMSs [16]: deadlock detection and recovery [4,5,8], deadlock avoidance [2,3,6,9,10,11,12,13,15,16,17,18] and deadlock prevention [2,7,14,16,19]. The goal of the deadlock prevention approach is to add to the system a control policy preventing the system from reaching deadlock states.…”

Section: Introductionmentioning

confidence: 99%

“…In order to avoid this problem in this paper we propose to use Petri net reduction approach, which simplifies a subnet or structure while preserving the concerned properties, such as boundedness, liveness and reversibility [23]. Note that if the Petri net model of a system is kept live, by preventing some enabled transitions from firing, then the model is deadlock-free [17]. We refer the reader for a detailed treatment of Petri nets to [23,24].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

Uzam

2004

The International Journal of Advanced Manufacturing Technology

136

View full text Add to dashboard Cite

In a flexible manufacturing system (FMS) with multiple products, deadlocks can arise due to limited shared resources, such as machines, robots, buffers, fixtures etc. The development of efficient deadlock prevention policies, which can optimise the use of system resources, while preventing deadlocks from occurring, has long been an important issue to be addressed. In [1], an optimal deadlock prevention policy was proposed, based on the use of reachability graph (RG) analysis of the Petri net model (PNM) of a given FMS and the synthesis of a set of new net elements, namely places with initial marking and related arcs, to be added to the PNM, using the theory of regions. The policy proposed in [1] is optimal in the sense that it allows the maximal use of resources in the system according to the production requirements. For very big PNMs, the reachability graph of the PNMs becomes very large and the necessary computations to obtain an optimal deadlock prevention policy become more difficult. In this paper, we propose the use of the Petri net reduction approach to simplify very big PNMs so as to make necessary calculations easily in order to obtain an optimal deadlock prevention policy for FMSs. An example is provided for illustration.

show abstract

Section: Illustrative Examplementioning

confidence: 99%

Section: Solving the Event/state Separation Problems (Essp)mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

Uzam

2004

The International Journal of Advanced Manufacturing Technology

136

View full text Add to dashboard Cite

show abstract

“…The major strategies using PNs to cope with deadlocks are deadlock detection and recovery [Chu and Xie 1997;Wysk et al 1991] deadlock avoidance [Banaszak and Krogh 1990;Fanti and Zhou 2004;Ferrarini and Maroni 1998;Viswandham et al 1990;Wu and Zhou 2005] and deadlock prevention [Ezpeleta et al 1995;Huang et al 2001Huang et al , 2006Huang 2006;Iordache et al 2002;Li and Liu 2007;Zhou 2004, 2006;Li et al , 2008Piroddi et al 2008Piroddi et al , 2009Uzam 2002Uzam , 2004Zhou 2006, 2007]. Deadlock prevention is preferred to the former ones by carrying out the computation once and off-line.…”

Section: Introductionmentioning

confidence: 99%

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

Zhang

2013

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

Deadlock prevention is crucial to the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention is often addressed by siphon-based control (SC) policies. Recent research results show that SC methods can avoid full siphon enumeration by using mixed integer programming (MIP) to greatly increase the computational efficiency so that it can be applied in large systems in computable time. Besides, maximally permissive control solutions can be obtained by means of iterative siphon control (ISC) approaches and MIP. Then the remaining problems are redundancy and MIP iterations. Redundant controllers make the closed-loop system more complicated and each MIP iteration increases the total computational time. This article proposes a revised ISC deadlock prevention policy which can achieve better results than the other reported methods in terms of redundancy and MIP iterations while maintaining the maximal permissiveness. Several benchmark examples are provided to illustrate the proposed approach and to be compared with the other reported methods.

show abstract

Deadlock Resolution in Automated Manufacturing Systems

Li¹,

Zhou²

2009

Advances in Industrial Control

View full text Add to dashboard Cite

The use of registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use.The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made.

show abstract

Deadlock avoidance control for manufacturing systems with multiple capacity resources

Cited by 25 publications

References 14 publications

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

Deadlock Resolution in Automated Manufacturing Systems

Contact Info

Product

Resources

About