On the implementation of supervised control of discrete event systems

IEEE Transactions on Control Systems Technology

Volumn 15, Issue 4, 2007, Pages 725-739

  Basile, Francesco ^a   Chiacchio, Pasquale ^a  

^a UNIVERSITY OF SALERNO   (Italy)

Author keywords

Colored Petri Nets; Finite state automata; IEC 61131 3; Petri Nets; Programmable logic controllers (PLCs); Supervisory control

Indexed keywords

COLORED PETRI NETS; SUPERVISORY CONTROL THEORY; SYNCHRONOUS DEVICES;

CLOSED LOOP CONTROL SYSTEMS; CONTROL THEORY; FINITE AUTOMATA; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

DISCRETE EVENT SIMULATION;

EID: 34447335336     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2006.890281     Document Type: Article

References (37)

1. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 637-659, Jan. 1989.
2. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Autom. Control, vol. 38, no. 7, pp. 1040-1059, Jul. 1993.
3. F. Charbonnier, R. David, and H. Alla, "The supervised control of discrete event dynamic systems," IEEE Trans. Control Syst. Technol. vol. 7, no. 2, pp. 175-202, Mar. 1999.
4. F. Cazzola, L. Ferrarini, and M. Preziosa, "Interpretation rules of Petri Net models for logic control," in Proc. INRIA/IEEE Symp. Emerging Technol. Factory Autom. (ETFA'95), 2003, pp. 289-297.
5. K. Feldmann, C. Schnur, and A. Colombo, "Modularised, distributed real-time control of flexible production cells, using Petri Nets," Control Eng. Practice, vol. 4, no. 8, pp. 1067-1078, 1996.
6. T. Murata, "Petri Nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
7. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. 2nd Corrected Printing. New York: Springer Verlag, 1997.
8. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri Nets methods for controlled discrete event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 7, no. 7, pp. 151-190, 1997.
9. N. Chang, W. H. Kwon, and J. Park, "Hardware implementation of real-time Petri-Net-based controllers," Control Eng. Practice, vol. 6, pp. 889-895, 1998.
10. S. Bulach, A. Brauchle, H. J. Pfleiderer, and Z. Kucerovsky, "Design and implementation of discrete event control systems: A Petri Net based hardware approach," Discrete Event Dyn. Syst.: Theory Appl., vol. 12, pp. 287-309, 2002.
11. M. Uzam, I. B. Koc, G. Gelen, and B. H. Aksebzeci, "Asynchronous implementation of a Petri Net based discrete event control system using a xilinx FPGA," in Proc. 35th Int. Conf. Comput. Ind. Eng., 2005, pp. 2025-2030.
12. S. C. Lauzon, A. K. L. Ma, J. K. Mills, and B. Benhabib, "Application and theory of discrete-event-system theory to flexible manufacturing," IEEE Control Syst. Mag., vol. 16, no. 1, pp. 41-48, Feb. 1996.
13. Programmable controllers part 3 programming languages, IEC 1131-3, Int. Electrotech. Commission, 1993.
14. S. Kim, J. Park, and R. C. Leachman, "A supervisory control approach for execution control of an FMC," Int. J. Flexible Manuf. Syst., vol. 13, no. 1, pp. 5-31, 2001.
15. L. Ferrarini, "An incremental approach to logical controller design via Petri Nets," IEEE Trans. Syst., Man Cybern., vol. 22, no. 3, pp. 461-473, May/Jun. 1992.
16. S. S. Peng and M. C. Zhou, "Ladder diagram and Petri-Net-based discrete event control design methods," IEEE Trans. Syst., Man Cybern. - Part C: Appl. Rev., vol. 34, no. 4, pp. 523-531, Nov. 2004.
17. S. Bodgan, F. L. Lewis, Z. Kovacic, A. Gurel, and M. Stajdohar, "An implementation of the matrix-based supervisory controller," IEEE Trans. Control Syst. Technol., vol. 10, no. 5, pp. 709-716, Sep. 2002.
18. K. Venkatesh, M. C. Zhou, and R. J. Caudill, "Comparing ladder logic diagrams and Petri Nets for sequence controller design through a discrete manufacturing systems," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 611-619, Dec. 1994.
19. K. Feldmann, A. Colombo, C. Schnur, and T. Stöckel, "Specification, design and implementation of logic controllers based on colored Petri Net models and the standard IEC 1131 Part I: Specification and design," IEEE Trans. Control Syst. Technol., vol. 7, no. 6, pp. 657-665, Nov. 1999.
20. K. Feldmann, A. Colombo, C. Schnur, and T. Stöckel, "Specification, design and implementation of logic controllers based on colored Petri Net models and the standard IEC 1131 Part II: Design and implementation," IEEE Trans. Control Syst. Technol., vol. 7, no. 6, pp. 666-674, Nov. 1999.
21. M. Uzam and A. H. Jones, "Discrete event control system design using automaton Petri Nets and their ladder diagram implementation," Int. J. Adv. Manuf. Technol., vol. 14, no. 10, pp. 716-728, Oct. 1998.
22. M. Uzam and A. H. Jones, "Towards a unified methodology for converting coloured Petri Net controllers into ladder logic using TPLL: Part I - Methodology," in Proc. Int. Workshop Discrete Event Syst. (WODES'96) 1996, pp. 716-728.
23. A. H. Jones and M. Uzam, "Design of sequential control systems in statement lists using TPL: Part II - Token passing statement list," in Proc. 2nd Portuguese Control Conf., 1996, pp. 716-728.
24. W. M. Wonham, "Lecture notes on supervisory control of discrete event systems - Revised 2005," Dept. Elect. Comp. Eng., Univ. Toronto, ON, Canada, 2005.
25. L. Ferrarini, C. Maffezzoni, and A. Giua, "Design and implementation issues in the control of discrete event systems," in Proc. 20th Int. Conf. Ind. Electron., Control Instrum., 1994, pp. 1515-1520.
26. A. Giua, "Petri Net techniques for supervisory control of discrete event systems," in Proc. 1st Int. Workshop Manuf. Petri Nets, 1996, pp. 1-30.
27. R. David and H. Alla, "Petri Nets for modelling of dynamical systems: A survey," Automatica, vol. 30, no. 2, pp. 175-202, 1994.
28. A. Giua and C. Seatzu, "Monitor design for colored Petri Nets with uncontrollable and unobservable transitions," in Proc. 7th Workshop Discrete Event Syst. (WODES'04), 2004, pp. 361-366.
29. G. Music, D. Gradisar, and D. Matko, "Iec 61131-3 compliant control code generation from discrete event models," in Proc. 13th IEEE Mediterannean Conf. Control Autom. (MED'05), 2005, pp. 346-351.
30. M. Fabian and A. Hellgren, "Plc-based implementation of supervisory control of discrete event systems," in Proc. 37th IEEE Conf. Dec. Control (CDC'98), 1998, pp. 3305-3310.
31. M. Uzam, A. H. Jones, and I. Yucel, "Using a Petri-Net-based approach for the real-time supervisory control of an experimental manufacturing system," Int. J. Adv. Manuf. Technol., vol. 16, no. 7, pp. 498-515, 2000.
32. M. Nourelfath and E. Niel, "Modular supervisory control of an experimental automated manufacturing system," Control Eng. Practice vol. 12, pp. 205-216, 2004.
33. M. H. de Queiroz and J. E. R. Cury, "Synthesis and implementation of local modular supervisory control for a manufacturing cell," in Proc. 6th Workshop Discrete Event Syst. (WODES'02), 2002, pp. 377-382.
34. A. Hellgren, M. Lennartson, and M. Fabian, "Modelling and plc-based implementation of modular supervisory control," in Proc. 6th Workshop Discrete Event Syst., 2002, pp. 371-376.
35. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice Hall, 1985.
36. L. Recalde, E. Teruel, and M. Silva, "On linear algebraic techniques for liveness analysis of p/t systems," J. Circuits, Syst., Comp., vol. 1, no. 8, pp. 223-265, 1998.
37. A. Hellgren, M. Lennartson, and M. Fabian, "Modelling implementation of discrete event systems as sequential functional charts applied to an assembly cell," in Proc. IEEE Int. Conf. Control Appl. (CCA'01), 2001, pp. 453-458.