Max'-controlled siphons for liveness of S3PGR2

Chao, Daniel Yuh

doi:10.1049/iet-cta:20060275

Cited by 52 publications

(87 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Specifically, a transmission process of video 3 can take the route defined by the sequence of places <p 6 , p 7 , p 9 , p 11 , p 13 >. The transmission process for video 4 from S 3 to S 2 is defined by a set of places {p 14 23 . Trivially, this net system is deadlock susceptible due to the circular-wait that occurs among relative operations and resources.…”

Section: An Illustrative Examplementioning

confidence: 99%

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets

Zhou

2009

IEEE Trans. Multimedia

View full text Add to dashboard Cite

The Internet motivated video streaming systems are largely complicated by issues such as a high degree of network resource sharing amongst many flows, which potentially leads to deadlocks. Using concepts of siphons along with their corresponding dangerous markings, we derive an algebraically necessary and sufficient characterization for such a much undesirable situation. The target system is assumed to be described in a Petri net formalism, whose markings provide the information on the current interactions among related network operations and resources. The theoretic materials allow us to introduce the control laws iteratively. At each iteration step, we produce a generalized mutual exclusion constraint which contains only markings for which liveness can be enforced. Since the explicit enumeration of all siphons is avoided, the proposed method can greatly reduce the complexity of off-line computation for the on-line restriction policy. Furthermore, a generalized elementary siphon control investigation is involved such that the final supervisor can be structurally simplified. Examples are demonstrated in this paper to validate the effectiveness and efficiency of the proposed approach.

show abstract

Section: An Illustrative Examplementioning

confidence: 99%

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets

Zhou

2009

IEEE Trans. Multimedia

View full text Add to dashboard Cite

show abstract

“…Researchers have developed a large number of deadlock control policies based on siphon control, among which the representative works are given in [5,14,19,[29][30][31][32][33][34][35][36][37][38][39][40][41].…”

mentioning

confidence: 99%

“…As a whole, the controllability concept is concerned with the enabling and firing of transitions. In the existing deadlock policies, only the works in [29,37,45] are concerned with controllability conditions of siphons in generalised Petri nets. Consequently, it is extremely challenging to find effective siphon control methods.…”

mentioning

confidence: 99%

“…They claim that a net system (N , M 0 ) satisfies the max cs-property if each minimal siphon of N is max-controlled. The work in [29] claims that a marked S 4 R net is live iff it satisfies the max cs-property, which is unfortunately not correct since the max cs-property is found to be a sufficient but not necessary condition for the liveness of an S 4 R [37,46].…”

mentioning

confidence: 99%

“…Later, Chao [37] relaxed the controllability condition of siphons in S 4 R by introducing the concept of max ′ -controlled siphons. However, as far as the authors know, this controllability condition of siphons is still restrictive and conservative.…”

mentioning

confidence: 99%

See 2 more Smart Citations

New controllability condition for siphons in a class of generalised Petri nets

Liu

Zhong

2010

IET Control Theory &Amp; Applications

View full text Add to dashboard Cite

Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation

Hou¹,

Zhao²,

Liu³

2014

Asian Journal of Control

View full text Add to dashboard Cite

This article develops a deadlock prevention policy for a class of generalized Petri nets, namely G‐systems, which can model flexible manufacturing systems with machining, assembly, and disassembly operations. In this research, a polynomial complexity control policy for non‐blocking supervisors is established by properly adjusting resource allocation. First, a set of linear inequality constraints is derived with respect to different resource requirements such that the allocation of the system resources to various requesting processes can be appropriately restricted, that is, the resulting system has no deadlock state by imposing monitors on operation places. Moreover, an algorithm is proposed to identify the redundant constraints such that structurally simple liveness‐enforcing net supervisors can be obtained. Compared with existing polices, the proposed method can usually lead to a suboptimal supervisor with high computational efficiency. Finally, a flexible manufacturing system example is utilized to demonstrate the proposed method.

show abstract

Max'-controlled siphons for liveness of S3PGR2

Cited by 52 publications

References 8 publications

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets

New controllability condition for siphons in a class of generalised Petri nets

Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation

Contact Info

Product

Resources

About