Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models

Viswanadham, N.; Narahari, Y.; Johnson, T.L.

doi:10.1109/70.63257

Cited by 389 publications

(118 citation statements)

References 10 publications

Supporting

Mentioning

112

Contrasting

Unclassified

Order By: Relevance

“…Two FMS examples are used to evaluate our deadlock prevention policy [12][13][14][15][16][17][18][19][20][21][22][23] . Example I: An FMS is shown in Figure 10 12 .…”

Section: Resultsmentioning

confidence: 99%

See 1 more Smart Citation

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

Pan¹

2012

Petri Nets - Manufacturing and Computer Science

View full text Add to dashboard Cite

“…Two FMS examples are used to evaluate our deadlock prevention policy [12][13][14][15][16][17][18][19][20][21][22][23] . Example I: An FMS is shown in Figure 10 12 .…”

Section: Resultsmentioning

confidence: 99%

“…They are used to keep all markings of the controlled system within the legal zone. Here, Figure 8(a) taken from existing literatures 22 is used to demonstrate how to identify two types of CMTSIs from its reachability graph (i.e. Figure 8(b)).…”

Section: Remarkmentioning

confidence: 99%

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

Pan¹

2012

Petri Nets - Manufacturing and Computer Science

View full text Add to dashboard Cite

“…PROMETHEE is the abbreviation of Preference Ranking Organization Method for Enrichment Evaluations, which is an outranking method that initial references are prepared by Brans et al [14,15] Brans et al and Vincle [16]. In PROMETHEE method, different preference functions can be defined for criteria Dagdeviren [17].…”

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

“…Deadlock prevention has been popular to avoid deadlocks in FMS and CIM since it runs fast and statically to avoid run-time detection and computation. Classical approaches either suffer from adding too many monitors or reaching too few states [1,2,3]. Recently, maximally permissive process control policies [4,5,6] with little redundancy have emerged.…”

Section: Introductionmentioning

confidence: 99%

“…Deadlock-freeness is essential for the automation of a FMS as well as a CIM. Various deadlock resolution approaches [1,2] have been proposed to tackle deadlocks. Deadlock prevention has been popular to avoid deadlocks in FMS and CIM since it runs fast and statically to avoid run-time detection and computation.…”

Section: Introductionmentioning

confidence: 99%

Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing

Chiang

Chao

2016

MATEC Web of Conferences

View full text Add to dashboard Cite

Abstract. Since decades, Flexible Manufacturing System (FMS) is a significant part of automated production and manufacturing. In the development of FMS, deadlock prevention becomes a crucial point. This paper present a criticalsiphon theory to demonstrate exactly one monitor for quality FMS is required for the set of siphons in the family of a 2-compound siphons and how to assign its initial markings. The theory is aiming to avoid redundant monitors in FMS and the unnecessary associated computational burden so that the quality of a class of Flexible Manufacturing Systems can be assured latest in the run-time. Neither reachability graph nor minimal siphon needs to be computed achieving polynomial complexity-essential for large systems. This paper redevelops the theory more formally and further applies this approach to two well-known S 3 PR to obtain a controller full or near maximally permissive in the context of deadlock resolution and Quality Assurance. This paper further categorizes mixture siphons into partial and full ones and the sequence among them to add monitors associated with one or different 2-compound siphons. As a result, there is no need to enumerate all siphons and the time complexity involved is polynomial. This is the first of its kind of works among all current results on the benchmark.

show abstract

Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models

Cited by 389 publications

References 10 publications

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions

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

Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing

Contact Info

Product

Resources

About