Supervisory controller design for timed-place Petri nets

Aydin Aybar; Altuğ İftar

Kybernetika (2012)

  • Volume: 48, Issue: 6, page 1114-1135
  • ISSN: 0023-5954

Abstract

top
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.

How to cite

top

Aybar, Aydin, and İftar, Altuğ. "Supervisory controller design for timed-place Petri nets." Kybernetika 48.6 (2012): 1114-1135. <http://eudml.org/doc/251364>.

@article{Aybar2012,
abstract = {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.},
author = {Aybar, Aydin, İftar, Altuğ},
journal = {Kybernetika},
keywords = {discrete-event systems; supervisory control; Petri nets; time-delay; deadlock; discrete-event systems; supervisory control; Petri nets; time-delay; deadlock; timed-place Petri nets (TPPN)},
language = {eng},
number = {6},
pages = {1114-1135},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Supervisory controller design for timed-place Petri nets},
url = {http://eudml.org/doc/251364},
volume = {48},
year = {2012},
}

TY - JOUR
AU - Aybar, Aydin
AU - İftar, Altuğ
TI - Supervisory controller design for timed-place Petri nets
JO - Kybernetika
PY - 2012
PB - Institute of Information Theory and Automation AS CR
VL - 48
IS - 6
SP - 1114
EP - 1135
AB - 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.
LA - eng
KW - discrete-event systems; supervisory control; Petri nets; time-delay; deadlock; discrete-event systems; supervisory control; Petri nets; time-delay; deadlock; timed-place Petri nets (TPPN)
UR - http://eudml.org/doc/251364
ER -

References

top
  1. Apaydin, H., Manay, A., Aybar, A., İftar, A., A program for analysis and control of Petri nets., In: Proc. IEEE International Conference on Computational Cybernetics, Vienna 2004, pp. 309-314. 
  2. Aybar, A., İftar, A., 10.1109/9.989151, IEEE Trans. Automat. Control 47 (2002), 511-515. MR1891337DOI10.1109/9.989151
  3. Aybar, A., İftar, A., 10.1080/0020717031000149609, Internat. J. Control 76 (2003), 1285-1295. Also see: A. Aybar and A. İftar: Corrections to decentralized supervisory controller design to avoid deadlock in Petri nets. Internat. J. Control 76 (2003), 1584. Zbl1040.93047MR1992919DOI10.1080/0020717031000149609
  4. Aybar, A., İftar, A., Supervisory controller design for timed Petri nets., In: Proc. IEEE International Conference on System of Systems Engineering, Los Angeles 2006, pp. 59-64. 
  5. Aybar, A., İftar, A., 10.1109/JSYST.2008.923193, IEEE Systems J. 2 (2008), 178-188. DOI10.1109/JSYST.2008.923193
  6. Aybar, A., İftar, A., Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets., Kybernetika 45 (2009), 3-14. Zbl1158.93307MR2489577
  7. Aybar, A., İftar, A., Representation of the state of timed-place Petri nets using stretching., In: Proc. 4th IFAC Workshop on Discrete-Event System Design, Playa de Gandia 2009, pp. 79-84. 
  8. Aybar, A., İftar, A., Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching., Nonlinear Analysis: Hybrid Systems 6 (2012), 712-729. Zbl1235.93153MR2854909
  9. Aybar, A., İftar, A., Apaydin-Özkan, H., 10.1080/00207170500036076, Internat. J. Control 78 (2005), 537-553. Zbl1085.93016MR2147642DOI10.1080/00207170500036076
  10. Bowden, F. D. J., 10.1016/S0895-7177(00)00072-8, Math. Comput. Modelling 31 (2000), 55-68. Zbl1042.68613MR1768784DOI10.1016/S0895-7177(00)00072-8
  11. Cassandras, C. G., Lafortune, S., Introduction to Discrete Event Systems., Kluwer Academic, Norwell 1999. Zbl1165.93001MR1728175
  12. Fanti, M. P., Maione, B., Turchiano, B., 10.1109/3477.875452, IEEE Trans. Systems, Man Cybernet. - Part B, 30 (2000), 783-798. DOI10.1109/3477.875452
  13. Fanti, M. P., Zhou, M., 10.1109/TSMCA.2003.820590, IEEE Trans. Systems, Man, Cybernet. - Part A 34 (2004), 5-22. DOI10.1109/TSMCA.2003.820590
  14. Freedman, P., 10.1109/70.86074, IEEE Trans. Robotics Automat. 7 (1991), 417-433. DOI10.1109/70.86074
  15. Ghaffari, A., Rezg, N., Xie, X., Maximally permissive and non blocking control of Petri nets using theory of regions., In: Proc. IEEE International Conference on Robotics and Automation, Washington, D. C. 2002, pp. 1895-1900. 
  16. Giua, A., Seatzu, C., Basile, F., 10.1109/TAC.2003.821419, IEEE Trans. Automat. Control 49 (2004), 17-29. MR2028539DOI10.1109/TAC.2003.821419
  17. Hadjicostis, C. N., Verghese, G. C., Structured redundancy for fault tolerance in state-space models and Petri nets., Kybernetika 35 (1999), 39-55. MR1705529
  18. Li, Z. W., Zhou, M. C., Wu, N. Q., 10.1109/TSMCC.2007.913920, IEEE Trans. Systems, Man, Cybernet. - Part C 38 (2008), 173-188. DOI10.1109/TSMCC.2007.913920
  19. Murata, T., Petri nets: Properties, analysis and applications., Proc. IEEE 77 (1989), 541-580. 
  20. Pinchinat, S., Riedweg, S., You can always compute maximally permissive controllers under partial observation when they exist., In: Proc. American Control Conference, Portland 2005, pp. 2287-2292. 
  21. Rivera-Rangel, I., Ramirez-Trevino, A., Aguirre-Salas, L. I., Leon, J. Ruiz, Geometrical characterization of observability in interpreted Petri nets., Kybernetika 41 (2005), 553-574. MR2192423
  22. Uzam, M., Zhou, M., 10.1109/TSMCA.2007.893484, IEEE Trans. Systems, Man, Cybernet. - Part A 37 (2007), 362-371. DOI10.1109/TSMCA.2007.893484
  23. Viswanadham, N., Narahari, Y., Johnson, T. L., 10.1109/70.63257, IEEE Trans. Robotics Automat. 6 (1990), 713-723. DOI10.1109/70.63257
  24. Wang, J., Timed Petri Nets: Theory and Application., Kluwer Academic, Boston 1998. Zbl0924.68147
  25. Zhou, M., DiCesare, F., Petri Net Synthesis for Discrete Event Control of Manufacturing Systems., Kluwer Academic Publishers, Norwell 1993. Zbl0849.93002
  26. Zuberek, W. M., 10.1109/70.964658, IEEE Trans. Robotics Automat. 17 (2001), 562-575. DOI10.1109/70.964658

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.