New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE transactions on systems, man, and cybernetics Année : 2014

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

Résumé

This paper presents a new Petri net structure, namely an interval inhibitor arc, and its application to the optimal supervisory control of Petri nets. An interval inhibitor arc is an arc from a place to a transition labeled with an integer interval. The transition is disabled by the place if the number of tokens in the place is between the labeled interval. The formal definition and the firing rules of Petri nets with interval inhibitor arcs are developed. Then, an optimal Petri net supervisor based on the interval inhibitor arcs is designed to prevent a system from reaching illegal markings. Two techniques are developed to simplify the supervisory structure by compressing the number of control places. The proposed approaches are general since they can be applied to any bounded Petri net models. A marking reduction approach is also introduced if they are applied to Petri net models of flexible manufacturing systems. Finally, a number of examples are provided to demonstrate the proposed approaches and the experimental results show that they can obtain optimal Petri net supervisors for some net models that cannot be optimally controlled by pure net supervisors. Furthermore, the obtained supervisor is structurally simple.
Fichier non déposé

Dates et versions

hal-01126349 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126349 , version 1

Citer

Yufeng Chen, Zhiwu Li, Kamel Barkaoui, Murat Uzam. New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. IEEE transactions on systems, man, and cybernetics, 2014, 44, pp.1384-1400. ⟨hal-01126349⟩
42 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More