Article
Full entry |
PDF
(0.3 MB)
Feedback
PDF
(0.3 MB)
Feedback
Keywords:
discrete-event systems; supervisory control; Petri nets; time-delay; deadlock
discrete-event systems; supervisory control; Petri nets; time-delay; deadlock
Summary:
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.
References:
[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.: Overlapping decompositions and expansions of Petri nets. IEEE Trans. Automat. Control 47 (2002), 511-515. DOI 10.1109/9.989151 | MR 1891337
[3] Aybar, A., İftar, A.: Decentralized supervisory controller design to avoid deadlock in Petri nets. 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. DOI 10.1080/0020717031000149609 | MR 1992919 | Zbl 1040.93047
[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.: Deadlock avoidance controller design for timed Petri nets using stretching. IEEE Systems J. 2 (2008), 178-188. DOI 10.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. MR 2489577 | Zbl 1158.93307
[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. MR 2854909 | Zbl 1235.93153
[9] Aybar, A., İftar, A., Apaydin-Özkan, H.: Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets. Internat. J. Control 78 (2005), 537-553. DOI 10.1080/00207170500036076 | MR 2147642 | Zbl 1085.93016
[10] Bowden, F. D. J.: A brief survey and synthesis of the roles of time in Petri nets. Math. Comput. Modelling 31 (2000), 55-68. DOI 10.1016/S0895-7177(00)00072-8 | MR 1768784 | Zbl 1042.68613
[11] Cassandras, C. G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic, Norwell 1999. MR 1728175 | Zbl 1165.93001
[12] Fanti, M. P., Maione, B., Turchiano, B.: Comparing digraph and Petri net approaches to deadlock avoidance in FMS. IEEE Trans. Systems, Man Cybernet. - Part B, 30 (2000), 783-798. DOI 10.1109/3477.875452
[13] Fanti, M. P., Zhou, M.: Deadlock control methods in automated manufacturing systems. IEEE Trans. Systems, Man, Cybernet. - Part A 34 (2004), 5-22. DOI 10.1109/TSMCA.2003.820590
[14] Freedman, P.: Time, Petri nets, and robotics. IEEE Trans. Robotics Automat. 7 (1991), 417-433. DOI 10.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.: Observer-based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. Automat. Control 49 (2004), 17-29. DOI 10.1109/TAC.2003.821419 | MR 2028539
[17] Hadjicostis, C. N., Verghese, G. C.: Structured redundancy for fault tolerance in state-space models and Petri nets. Kybernetika 35 (1999), 39-55. MR 1705529
[18] Li, Z. W., Zhou, M. C., Wu, N. Q.: A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Systems, Man, Cybernet. - Part C 38 (2008), 173-188. DOI 10.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. MR 2192423
[22] Uzam, M., Zhou, M.: An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Systems, Man, Cybernet. - Part A 37 (2007), 362-371. DOI 10.1109/TSMCA.2007.893484
[23] Viswanadham, N., Narahari, Y., Johnson, T. L.: Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robotics Automat. 6 (1990), 713-723. DOI 10.1109/70.63257
[24] Wang, J.: Timed Petri Nets: Theory and Application. Kluwer Academic, Boston 1998. Zbl 0924.68147
[25] Zhou, M., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, Norwell 1993. Zbl 0849.93002
[26] Zuberek, W. M.: Timed Petri nets in modeling and analysis of cluster tools. IEEE Trans. Robotics Automat. 17 (2001), 562-575. DOI 10.1109/70.964658
Search
Partner of
