A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems

Kumaran, T.; Chang, Wen-Chih; Cho, H.; Wysk, Richard A.

doi:10.1080/00207549408957073

Cited by 132 publications

(41 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Goumas and Lygerou, Geldermann et al [23] Chou et al [24], Tuzkaya, Ozgen et al [25] have used F-PROMETHEE previously. In the F-PROMETHEE, the main problem arises in comparing two fuzzy numbers and the index, which corresponds to a weighted average of the fuzzy numbers, is found a useful way to compare fuzzy numbers.…”

Section: Methodsmentioning

confidence: 99%

Integrated Fuzzy PROMETHEE and Fuzzy Linear Program for Functions Evaluation in Convergent Products: Case for Digital Products

Aghasi¹,

Momeni²,

Hoseini³

2017

Ind Eng Manage

View full text Add to dashboard Cite

Background/objectives: Recently, convergent products are introduced in digital products. Fast assembly and new product development and dynamic product configuration are all considered in convergent product concept. The fast technology development and dynamic customer demands require a more efficient and flexible system for new product development. This paper proposes an integrated decision making model for convergent product evaluation under fuzzy environment.

show abstract

Section: Methodsmentioning

confidence: 99%

Integrated Fuzzy PROMETHEE and Fuzzy Linear Program for Functions Evaluation in Convergent Products: Case for Digital Products

Aghasi¹,

Momeni²,

Hoseini³

2017

Ind Eng Manage

View full text Add to dashboard Cite

show abstract

“…However, the simultaneous execution of multiple processes with intense sharing of the fi nite set of resources may eventually result in a permanent blockage of the system. Such situation is called deadlock or deadlock state (VISWANADHAM et al, 1990;KROGH, 1991;CHO, 1993;KUMARAN et al, 1994).…”

Section: Introductionmentioning

confidence: 99%

Automatic generation of control solution for resource allocation using Petri net model

Nakamoto

Filho²

2009

Prod.

View full text Add to dashboard Cite

Geração automática da solução de controle para alocação de recursos utilizando redes de Petri RESUMO O sistema fl exível de manufatura (FMS fl exible manufacturing system) executa múltiplos processos simultaneamente que utilizam um conjunto limitado de recursos. Estes processos podem fi car permanentemente bloqueados em função da seqüência de atividades, isto é, o compartilhamento de um conjunto fi nito de recursos pode levar o sistema a um estado de autotravamento. O FMS pode ser visto como pertencente a uma classe de sistema a eventos discretos, onde não é possível determinar quando um evento ocorre e com isto a seqüência de eventos fi ca indefi nida. Este tipo de sistema pode ser modelado através de rede de Petri e assim explora-se esta técnica para desenvolver uma solução para o problema de autotravamento considerando o indeterminismo do FMS. O objetivo é introduzir uma abordagem algorítmica para a implementação de uma ferramenta computacional baseada na especifi cação funcional do FMS e que automatize a geração de uma estratégia de controle para a utilização de recursos e de regras para evitar o autotravamento. PALAVRAS-CHAVESistema fl exível de produção, autotravamento de processos, rede de Petri, controle de sistemas de produção, alocação de recursos. ABSTRACT The fl exible manufacturing system (FMS) executes multiple processes simultaneously using a limited set of resources. These processes can be blocked permanently due to the sequence of the activities, i.e., the processes sharing a fi nite set of resources may eventually lead to a deadlock state. The FMS belongs to the class of discrete event systems where it is not possible to determine when an event will occur and the sequence of events becomes undefi ned. Such systems can be modeled using Petri net, and this work presents a method that solves the deadlock problem considering the indeterminism of FMSs. The goal of this work is to introduce an algorithmic approach, which allows the implementation of a computer program based on FMS functional specifi cation. The proposal is to automate the generation of the control strategy for resource utilization and the rules to avoid the deadlock situation. KEY WORDSFlexible manufacturing system, deadlock avoidance, Petri net, production system control, resource allocation. Automatic generation of control solution for resource allocation using Petri net modelFrancisco Yastami Nakamoto Centro Universitário Fundação Santo André Paulo Eigi Miyagi EPUSP Diolino José dos Santos Filho EPUSP 9 Nakamoto, F. Y.; Miyagi, P. E.; Filho, D. J. S. Automatic generation of control solution for resource allocation using Petri Net Model.

show abstract

“…Generally, Petri net-based deadlock resolution methods can be classified into three strategies. They are deadlock detection and recovery, 8,9 deadlock avoidance, 10,11 and deadlock prevention. [12][13][14][15][16][17][18] Deadlock detection and recovery is an optimistic strategy that grants a resource to a request as long as the resource is available.…”

Section: Introductionmentioning

confidence: 99%

Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method

Zhao

Uzam

Hou

2016

Advances in Mechanical Engineering

View full text Add to dashboard Cite

This article proposes an iterative deadlock resolution method for flexible manufacturing systems modeled with G-systems. To design a non-blocking controlled system with maximally permissive behavior in a G-system (GS), a reachability graph-based analysis technology is utilized. Since the reachability graph of a large-scale GS easily becomes unmanageable, an optimal non-blocking supervisor becomes a challenging problem in a GS. To facilitate this problem, the Divide-andConquer approach is a good choice for complex G-systems. First, an uncontrolled GS resolves into a number of associated subnets. Then, every subnet suffering from deadlocks is utilized to design the liveness-enforcing supervisor for the original GS. Thus, additional monitors can be obtained if the liveness of all subnets is achieved. Subsequently, a partially controlled GS is derived by including all monitors within the GS, and its liveness can be ensured by designing a new set of monitors. Consequently, a non-blocking GS is derived. The major advantage of the proposed method is that a nonblocking supervisor with near-optimal behavioral permissiveness can be obtained in general. Finally, a typical GS example popularly studied in the literature is applied to demonstrate the validity and the availability of the method in this article.

show abstract

A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems

Cited by 132 publications

References 12 publications

Integrated Fuzzy PROMETHEE and Fuzzy Linear Program for Functions Evaluation in Convergent Products: Case for Digital Products

Integrated Fuzzy PROMETHEE and Fuzzy Linear Program for Functions Evaluation in Convergent Products: Case for Digital Products

Automatic generation of control solution for resource allocation using Petri net model

Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method

Contact Info

Product

Resources

About