Sequence of Control in S3PMR

Shih, Yen‐Ping; Chao, Daniel Yuh

doi:10.1093/comjnl/bxp081

Cited by 49 publications

(54 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The previous work by Chao and colleagues 282,303 avoids reachability analysis by classifying siphons and adding monitors to critical siphons only. However, some live states may lose and the number of monitors required is as many as that of critical siphons.…”

Section: Combined Techniquesmentioning

confidence: 99%

Deadlock analysis and control based on Petri nets: A siphon approach review

Hou

Barkaoui

2017

Advances in Mechanical Engineering

View full text Add to dashboard Cite

Deadlocks should be eliminated in highly automated manufacturing systems since their occurrence implies the stoppage of the whole or partial system operation. Over the past decades, Petri nets are increasingly becoming one of the most popular and full-fledged mathematical tools to deal with deadlock problems due to their inherent characteristics. In a Petri net formalism, liveness is an important property of system safeness, which implies the absence of global and local deadlock situations in an automated manufacturing system. The liveness assessment can be performed by verifying the satisfiability of certain predicates on siphons, a well-known structural object in Petri nets. Therefore, siphons have received much attention to analyze and control systems modeled with Petri nets. Particularly, elementary siphon theory plays a key role in the development of structurally simple liveness-enforcing Petri net supervisors, leading to a variety of deadlock control approaches. This survey studies on the state-of-the-art elementary siphon theory of Petri nets including refined concepts of elementary siphons and their extended version, computation methods of siphons and elementary ones, controllability conditions, and their application to deadlock control. As a reference, this work attempts to provide a comprehensive and updated research survey on siphons, elementary siphons, and their applications to the deadlock resolution in Petri nets.

show abstract

Section: Combined Techniquesmentioning

confidence: 99%

Deadlock analysis and control based on Petri nets: A siphon approach review

Hou

Barkaoui

2017

Advances in Mechanical Engineering

View full text Add to dashboard Cite

show abstract

“…Due to the space limitation, we refer the reader to [12] for some basic terminologies in this paper. A core subnet can be obtained from an elementary circuit, called core circuit, by repeatedly adding handles.…”

Section: Theorymentioning

confidence: 99%

“…A core subnet can be obtained from an elementary circuit, called core circuit, by repeatedly adding handles. Details of handles and how an SMS is synthesized from a core subnet are in [8,12,13] and omitted here to shorten the paper.…”

Section: Theorymentioning

confidence: 99%

“…We propose in [12] to optimize the number of monitors (good states as well) if one adds monitors in the normal sequence of basic, compound, control, and other types of siphons. It is shown that among all 2-dependent siphons (depending on two component siphons), only one (called critical) siphon needs to be controlled by adding a monitor.…”

Section: Introductionmentioning

confidence: 99%

“…It scales well with the initial markings and the size of the nets. However, theorems in [12] are stated and proved based on non-formal concepts and symbols.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

A simple Suboptimal siphon‐based control model of a well‐known S³PR

Chao

Liu

2010

Asian Journal of Control

View full text Add to dashboard Cite

Siphon-based deadlock control suffers from reaching fewer states than the maximally permissive one. We report an alternative control to reach the same good states as that based on the theory of regions, but with fewer monitors, by refining some monitors into several monitors with smaller controller regions. More states can be reached since the controller region is less disturbed by covering only a place in a subregion where only one place is marked at any reachable marking. Formal proof of the correctness is provided.

show abstract

Sequence of Control in S3PMR

Cited by 49 publications

References 0 publications

Deadlock analysis and control based on Petri nets: A siphon approach review

Deadlock analysis and control based on Petri nets: A siphon approach review

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

A simple Suboptimal siphon‐based control model of a well‐known S³PR

Contact Info

Product

Resources

About

Sequence of Control in S3PMR

Cited by 49 publications

References 0 publications

Deadlock analysis and control based on Petri nets: A siphon approach review

Deadlock analysis and control based on Petri nets: A siphon approach review

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

A simple Suboptimal siphon‐based control model of a well‐known S3PR

Contact Info

Product

Resources

About

A simple Suboptimal siphon‐based control model of a well‐known S³PR