An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

Zhao, Mi; Hou, Yifan

doi:10.1007/s10626-011-0124-9

Cited by 20 publications

(43 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This work considers deadlock problems for a class of manufacturing-oriented Petri nets, namely, G-systems first proposed in Barkaoui et al 46 For more details, the preliminaries of Petri nets and the definitions of G-systems can refer to the previous work in Zhao and Hou. 47 First, this section presents an extraction algorithm of LICs under given resource partial orders for a G-system configuration. As known, a G-system net with concurrent processes may fall into permanent blocking since the circular wait of shared resources may occur among multiple processes.…”

Section: Lics Extraction Methods For G-systemsmentioning

confidence: 99%

“…The corresponding augmented version is then obtained after two transitions t Ã 1 and t Ã 2 are added, where i 1 = o 1 = ft Ã 1 g and i 2 = o 2 = ft Ã 2 g, which is shown in Figure 1(b). From the definitions of G-systems in Zhao and Hou, 47 we have P 0 = A resource place in a net system is modeled with a singleton place whose token capacity represents the ability of processing raw parts concurrently.…”

Section: Let O J Be a Sink Place In A Subsystemmentioning

confidence: 99%

See 1 more Smart Citation

An integrated control method for designing non-blocking supervisors using Petri nets

Zhao

2017

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

This article presents an efficient integrated approach on designing a non-blocking supervisor for the most general classes of Petri nets, called G-systems that allow multiple resource acquisitions. This work mainly focuses on developing a deadlock prevention policy with a polynomial computational complexity. First, an extraction algorithm of liveness requirement constraints is presented according to the concept of resource partial orders. By considering the different resource requirements of various processes, monitors are added for the uncontrolled G-system on the basis of those precise linear inequality constraints. Afterward, we explore an iterative control policy by utilizing the traditional mathematical programming method, which can ensure the liveness of the resultant controlled system. Comparing with the existing deadlock control policies reported in the literature, the proposed method can achieve a non-blocking controlled G-system with simple structure and high computational efficiency. Finally, a benchmark G-system example is used to substantiate the efficiency of the new method.

show abstract

Section: Lics Extraction Methods For G-systemsmentioning

confidence: 99%

Section: Let O J Be a Sink Place In A Subsystemmentioning

confidence: 99%

An integrated control method for designing non-blocking supervisors using Petri nets

Zhao

2017

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…It can be verified that the controlled system has 62,771 reachable states. It means that the corresponding supervisor obtained by the method of Zhao and Hou 49 can provide 94.5% (62,771/66,400) of the optimal permissive behavior. Note that the permissive behavior of the supervisor depends on the control-induced siphons control stage.…”

Section: Bi Pi Imentioning

confidence: 99%

“…First, a G-system example is considered to illustrate the design steps in detail. Then, the performance comparison of non-blocking supervisors is made among different deadlock control polices in Li and Zhao 37 and Zhao and Hou, 49 and some discussion is also given subsequently.…”

Section: A Case Studymentioning

confidence: 99%

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

Zhao

Uzam

Hou

2016

Advances in Mechanical Engineering

Self Cite

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

“…Furthermore, deadlocks may give rise to catastrophic results in some AMSs such as semiconductor manufacturing systems. Therefore, trying to resolve deadlock issues in AMSs has received significant attention, and there have been a large number of research achievements (Chao, 2012;Chen et al, 2013;Chu & Xie, 1997;Cordone & Piroddi, 2013;Esther et al, 2012;Ezpeleta & Valk, 2006;Hu et al, 2013;Huang, Pan, & Zhou, 2012;Lewis et al, 1998;Liu et al, 2014;Nazeem & Reveliotis, 2012;Park & Reveliotis, 2001;Piroddi et al, 2009;Reveliotis & Nazeem, 2013;Tricas & Ezpeleta, 2006;Uzam et al, 2007;Wang et al, 2013;Xing et al, 2009;Zhang & Judd, 2008;Zhao & Hou, 2013).…”

Section: Introductionmentioning

confidence: 99%

Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources

Hao

Xing

et al. 2015

Computers & Industrial Engineering

View full text Add to dashboard Cite

An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

Cited by 20 publications

References 28 publications

An integrated control method for designing non-blocking supervisors using Petri nets

An integrated control method for designing non-blocking supervisors using Petri nets

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

Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources

Contact Info

Product

Resources

About