Geodesic
Supervisory controller design for timed-place Petri nets
Kybernetika, Tome 48 (2012) no. 6, pp. 1114-1135.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Supervisory controller design to avoid deadlock in discrete-event systems modeled by timed-place Petri nets (TPPNs) is considered. The recently introduced approach of place-stretching is utilized for this purpose. In this approach, given an original TPPN (OPN), a new TPPN, called the place-stretched Petri net (PSPN), is obtained. The PSPN has the property that its marking vector is sufficient to represent its state. By using this property, a supervisory controller design approach for TPPNs to avoid deadlock is proposed in the present work. An algorithm to determine the set of all the states of the PSPN which lead to deadlock is presented. Using this set, a controller for the PSPN is defined. Using this controller, a controller for the OPN is then obtained. Assuming that the given Petri net is bounded, the proposed approach always finds a controller in finite time whenever there exists one. Furthermore, this controller, when exists, is maximally permissive.
Classification : 93A30, 93B03, 93C65
Keywords: discrete-event systems; supervisory control; Petri nets; time-delay; deadlock 
@article{KYB_2012__48_6_a3,
     author = {Aybar, Aydin and \.Iftar, Altu\u{g}},
     title = {Supervisory controller design for timed-place {Petri} nets},
     journal = {Kybernetika},
     pages = {1114--1135},
     publisher = {mathdoc},
     volume = {48},
     number = {6},
     year = {2012},
     mrnumber = {3052877},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2012__48_6_a3/}
}
TY  - JOUR
AU  - Aybar, Aydin
AU  - İftar, Altuğ
TI  - Supervisory controller design for timed-place Petri nets
JO  - Kybernetika
PY  - 2012
SP  - 1114
EP  - 1135
VL  - 48
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2012__48_6_a3/
LA  - en
ID  - KYB_2012__48_6_a3
ER  - 
%0 Journal Article
%A Aybar, Aydin
%A İftar, Altuğ
%T Supervisory controller design for timed-place Petri nets
%J Kybernetika
%D 2012
%P 1114-1135
%V 48
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2012__48_6_a3/
%G en
%F KYB_2012__48_6_a3
Aybar, Aydin; İftar, Altuğ. Supervisory controller design for timed-place Petri nets. Kybernetika, Tome 48 (2012) no. 6, pp. 1114-1135. http://geodesic.mathdoc.fr/item/KYB_2012__48_6_a3/