New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs

Chen, Yu Feng; Li, Zhiwu; Barkaoui, Kamel; Uzam, Murat

doi:10.1109/tsmc.2014.2307284

Cited by 113 publications

(71 citation statements)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Determining how to design a maximally permissive Petri net supervisor is always a significant problem. Owing to the fact that a reachability graph can fully reflect the behavior of a Petri net system, reachability graph-based policies 100,101,[206][207][208][209][210][211][212][213][214] can always obtain a highly or even maximally permissive liveness-enforcing supervisor. However, the computation is very expensive.…”

Section: Introductionmentioning

confidence: 99%

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

Hou

Barkaoui

2017

Advances in Mechanical Engineering

Self Cite

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: Introductionmentioning

confidence: 99%

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

Hou

Barkaoui

2017

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Based on place invariants, Chen and Li [32] develop a deadlock prevention method that can find an optimal liveness-enforcing Petri net supervisor with the minimal number of control places. The authors in [33] present a new notion of interval inhibitor arcs as well as their applications to deadlock prevention. An optimal Petri net supervisor that can prevent a system from reaching illegal markings is designed.…”

Section: Introductionmentioning

confidence: 99%

A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems

Al-Ahmari

2017

Discrete Dynamics in Nature and Society

Self Cite

View full text Add to dashboard Cite

For an automated manufacturing system (AMS), it is a computationally intractable problem to find a maximally permissive deadlock avoidance policy (DAP) in a general case, since the decision on the safety of a reachable state is NP-hard. This paper focuses on the deadlock avoidance problem for systems of simple sequential processes with resources (S 3 PR) by using Petri nets structural analysis theory. Inspired by the one-step look-ahead DAP that is an established result, which is of polynomial complexity, for an S 3 PR without one-unit-capacity resources shared by two or more resource-transition circuits (in the Petri net model) that do not include each other, this research explores a multiple-step look-ahead deadlock avoidance policy for a system modeled with an S 3 PR that contains a shared one-unit-capacity resource in resource-transition circuits. It is shown that the development of an optimal DAP for the considered class of Petri nets is also of polynomial complexity. It is indicated that the steps needed to look ahead in a DAP depend on the structure of the net model. A number of examples are used to illustrate the proposed method.

show abstract

“…Chen et al 20 applied the methodology of interval inhibitor arcs to optimal supervisory control under resources containing multi-token circumstance while suffering from the exponential increment state explosion problem. One solution is to apply mathematics to solve the reachability-related problem of PN in terms of closed-form solutions.…”

Section: Introductionmentioning

confidence: 99%

Construct the closed-form solution of A-net of Petri nets by case study

Chao

2017

Advances in Mechanical Engineering

View full text Add to dashboard Cite

After our researches on the effect of a non-sharing resource in a kth order which is the concept of customization manufacturing, in this article we extend the research on the closed-form solution of control-related states to the so-called Anet which has one top non-sharing circle subnet connected to the idle place of left process in a deficient kth order system and is the fundamental model of different productions sharing the same common parts in manufacturing. The formulas just are depended on the parameter k and states' function of top non-sharing circle subnet for a subclass of nets with k sharing resources. By combining the concept of the partial deadlock avoidance/prevention policy, the moment to launch resource (controller) allocation based on the current state, and the construction of closed-form solution for deficient kth order system, it can realize the concept of dynamic non-sharing processes' allocation.

show abstract

New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs

Cited by 113 publications

References 41 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

A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems

Construct the closed-form solution of A-net of Petri nets by case study

Contact Info

Product

Resources

About