Ladder diagram and Petri-net-based discrete-event control design methods

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 34, Issue 4, 2004, Pages 523-531

  Peng, Shih Sen ^a   Zhou, Meng Chu ^b,c  

^a DEPARTMENT OF PHYSICS   (Taiwan)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c INSTITUTE OF AUTOMATION   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; MATHEMATICAL MODELS; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

DISCRETE EVENT CONTROL SYSTEM (DECS); LADDER DIAGRAM (LD);

DISCRETE TIME CONTROL SYSTEMS;

EID: 7744228809     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2004.829286     Document Type: Article

References (49)

1. H. A. Baker and J. Song, "A graphical simulation tool for programmable logic controllers," in [i Discrete Event Dynamic Systems - A New Generation of Modeling, IEEE Colloq. Simulation and Control Applications i], 1992, pp. 4/1-4/4.
2. T. O. Boucher, M. A. Jafari, and G. A. Meredith, "Petri net control of an automated manufacturing cell," in [i Proc. 11th Anna. Conf. Computers and Industrial Engineering i], 1989, pp. 459-463.
3. F. Cazzola, L. Ferrarini, and M. Preziosa, "Interpretation rules of PETRI NET models for logic control," in [i Proc. INRIA/IEEE Symp. Emerging Technologies and Factory Automation (ETFA'95) i], vol. 2, 1995, pp. 289-297.
4. J.-L. Chirn and D. C. McFarlane, "Petri net based design of ladder logic diagrams," in [i Working Paper i]. Cambridge, U.K.: Inst. Manufact., Univ. Cambridge, 2000.
5. D. Chocron and E. Cerny, "A Petri net based industrial sequencer," in [i Proc. IEEE Int. Conf. and Exhib. Industrial Control and Instrumentation i], 1980, pp. 18-22.
6. D. Crockett, A. Desrochers, F. DiCesare, and T. Ward, "Implementation of a Petri net controller for a machining workstation," in [i Proc. 1987 IEEE Int. Conf. Robotics Automation i], Raleigh, NC, 1987, pp. 1861-1867.
7. K. Feldmann, A. W. Colombo, C. Schnur, and T. Stockel, "Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131-Part I: specification and design," [i IEEE Trans. Control Syst. Technol. i], vol. 7, pp. 657-674, Nov. 1999.
8. L. Ferrarini, "An incremental approach to logic controller design with Petri nets," [i IEEE Trans. Syst., Man, Cybern. i], vol. 22, pp. 461-473, Mar. 1992.
9. L. Ferrarini and C. Maffezzoni, "Designing logic controllers with Petri nets," in [i Proc. 5th IFAC Symp. Computer-Aided Design in Control Systems i], Swansea, U.K., July 1991, pp. 403-408.
10. L. Ferrarini, "Conceptual framework for the design of logic control," [i Intell. Syst. Eng. i], vol. 2, no. 2, pp. 246-256, 1993.
11. L. Ferrarini, M. Narduzzi, and M. Tassan-Solet, "A new approach to modular liveness analysis conceived for large logic controllers' design," [i IEEE Trans. Robot. Automat. i], vol. 10, pp. 169-184, Apr. 1994.
12. G. Frey and M. Minas, "Editing, visualizing, and implementing signal interpreted Petri nets," in [i Proc. AWPN 2000 i], 2000, pp. 57-62.
13. J. Jackman, R. Linn, and D. Hyde, "Petri net modeling of relay ladder logic," [i J. Design & Manufact. i], vol. 5, pp. 143-151, 1995.
14. M. A. Jafari and T. O. Boucher, "A rule-based system for generating a ladder logic control program from a high level system model," [i J. Intell. Manufact. i], vol. 5, pp. 103-120, 1994.
15. K. Jensen, "Colored Petri nets and the invariant method," in [i Theoretical Computer Science i]. Amsterdam, The Netherlands: North-Holland, 1981, vol. 14, pp. 317-336.
16. K. Jensen, "Colored Petri nets: a high level language for system design and analysis," in [i Advances in Petri Nets 1990 i], G. Rozenberg, Ed. Berlin, Germany: Springer-Verlag, 1990.
17. A. H. Jones, M. Uzam, A. H. Khan, D. Karimzadgan, and S. B. Kenway, "A general methodology for converting Petri nets into ladder logic: the TPLL methodology," in [i Proc. CIMAT i], France, 1996, pp. 357-362.
18. A. H. Jones, M. Uzam, and N. Ajlouni, "Design of discrete event control systems for programmable logic controllers using T-timed Petri nets," in [i Proc. 1996 IEEE Int. Symp. Computer-Aided Control System Design i], Dearborn, MI, 1996, pp. 212-217.
19. E. R. R. Kato, O. Morandin Jr., P. R. Politano, and H. A. Camargo, "A modular modeling approach for CNC machines control using Petri nets," in [i Proc. 2000 IEEE Int. Conf. Systems, Man, and Cybernetics i], vol. 5, Nashville, TN, 2000, pp. 3147-3152.
20. G. B. Lee and J. S. Lee, "The state equation of Petri net for the LD program," in [i Proc. IEEE Int. Conf. Systems, Man, & Cybernetics i], 2000, pp. 3051-3056.
21. G. B Lee and J. S. Lee, "Conversion of LD program into augmented PN graph," Working Paper, Apr. 2001.
22. R. W. Lewis, [i Programming Industrial Systems Using IEC 1131-3: Revised Edition i]. London, U.K.: IEE Books, 1998.
23. G. Michel, [i Programmable Logic Controllers: Architectures and Application i]. Chichester, U.K.: Wiley, 1990.
24. M. Minas and G. Frey, "Visual PLC-programming using signal interpreted Petri nets," in [i Proc. American Control Conf. 2002 i] (ACC2002), Anchorage, AK, May 2002, pp. 5019-5024.
25. T. Murata, "Petri nets: properties, analysis and applications," [i Proc. IEEE i], vol. 77, pp. 541-580, r. 1989.
26. T. Murata, N. Komoda, K. Matsumoto, and K. Haruna, "A Petri net-based controller for flexible and maintainable sequence control and its applications in factory automation," [i IEEE Trans. Ind. Electron. i], vol. IE-33, pp. 1-8, 1986.
27. E. Park, E. D. Tibury, and P. P. Khargonekar, "Control logic generation for machining systems using Petri net formalism," in [i Proc. 2000 IEEE Int. Conf. Systems, Man, and Cybernetics i], vol. 5, Nashville, TN, 2000, pp. 3201-3206.
28. W. Pessen, "Ladder diagram design for programmable controllers," [i Int. Federation of Automated Control IFAC J. Automatica i], vol. 25, no. 3, pp. 407-412,1989.
29. T. Sato and K. Nose, "Automatic generation of sequence control program via Petri net and logic tables for industrial applications," in [i Petri Nets in Flexible and Agile Automation i], M. C. Zhou, Ed. Norwell, MA: Kluwer, 1995, pp. 93-107.
30. M. Silva and S. Velilla, "Programmable logic controllers and Petri nets: a comparative study," in [i Proc. IFAC Conf. Software for Computer Control i], Madrid, Spain, 1982, pp. 83-88.
31. D. A. Stefano and O. Mirabella, "A fast sequence control device based on enhanced Petri nets," [i Microprocess. Microsyst. i], vol. 15, no. 4, pp. 179-186, 1991.
32. A. Taholakian and W. M. M. Hales, "PN ⇔ PLC: a methodology for designing, simulating and coding PLC based control systems using Petri nets," [i Int. J. Product. Res. i], vol. 35, no. 6, pp. 1743-1762, 1997.
33. S. G. Tzafestas, M. G. Pantelelis, and D. L. Kostis, "Design and implementation of logic controller using Petri nets and ladder logic diagrams," [i SAMS i], vol. 42, no. 1, pp. 135-167, 2002.
34. M. Uzam and A. H. Jones, "Design of ladder logic for an agile manufacturing system using token passing ladder logic," in [i Proc. Ist Turkish Symp. Intelligent Manufacturing Systems, IMS'96 i], Sakarya, Turkey, May 30-31, 1996, pp. 513-518.
35. M. Uzam, A. H. Jones, and N. Ajlouni, "Conversion of Petri nets controllers for manufacturing systems into ladder logic diagrams," in [i Proc. IEEE Symp. Emerging Technology and Factory Automation (ETFA) i], vol. 2, 1996, pp. 649-655.
36. M. Uzam and A. H. Jones, "Toward a unified methodology for converting colored Petri net controllers into ladder logic using TPLL: part I - methodology," in [i International Workshop on Discrete Event Systems, WODES'96 i], Edinburgh, U.K., pp. 178-183.
37. M. Uzam, "Toward a unified methodology for converting colored Petri nets TPLL: part II - an application," in [i Int. Workshop on Discrete Event Systems, WODES'96 i], Edinburgh, U.K., 1996, pp. 314-319.
38. M. Uzam, "Real-time implementation of automation PN controllers using programmable logic controllers," in [i Proc. 4th IFAC Workshop on Algorithms and Architecture for Real-Time Control (AARTC'97) i], Vlaimoura, Algarve, Portugal, 1997, pp. 421-426.
39. M. Uzam, "Discrete event control system design using automation Petri nets and their ladder diagram implementation," [i Int. J. Adv. Manufact. Technol. i], vol. 14, no. 10, pp. 716-728, 1998.
40. M. Uzam, A. H. Jones, and I. Yucel, "A rule-based methodology for supervisory control of discrete event systems modeled as automation Petri nets," [i Int. J. Int. Control Syst. i], vol. 3, no. 3, pp. 297-325, 1999.
41. R. Valette, M. Courvoisier, J. M. Bigou, and J. Albukerque, "A Petri net based programmable logic controller," in [i Computer Applications in Production and Engineering i], E. A. Warman, Ed. Amsterdam, The Netherlands: North-Holland, 1983, pp. 103-115.
42. K. Venkatesh and M. Ilyas, "Real-time Petri nets for modeling, controlling, and simulation of local area, networks in flexible manufacturing systems," [i Comput. Indust. Eng. i], vol. 28, no. 1, pp. 147-162, 1995.
43. K. Venkatesh, M. C. Zhou, and R. J. Caudill, "Automated generation of Petri nets from logic control specification," in [i Proc. 4th Rennsselaser's Inst. Conf. Computer-Integrated Manufacturing and Automation Technology i], Troy, NY, Oct. 1994, pp. 242-247.
44. K. Venkatesh, "Comparing ladder logic and Petri nets for sequence controller design through a discrete manufacturing system," [i IEEE Trans. Ind. Electron. i], vol. 41, pp. 611-619, Dec. 1994.
45. F.-Y. Wang, K. Gildea, H. Jungnitz, and D. D. Chen, "Protocol design and performance analysis for manufacturing message specification: A Petri net approach," [i IEEE Trans. Ind. Electron. i], vol. 41, pp. 641-653, Dec. 1994.
46. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing systems," [i IFAC J. Automatica i], vol. 28, no. 6, pp. 1199-1208, 1992.
47. M. C. Zhou and F. DiCesare, [i Petri Net Synthesis for Discrete Event Control of Manufacturing Systems i]. Boston, MA: Kluwer, 1993.
48. M. C. Zhou and E. Twiss, "Design of industrial automated systems via relay ladder logic programming and Petri nets," [i IEEE Trans. Syst., Man, Cybern. i], vol. 28, pp. 137-150, Feb. 1998.
49. M. C. Zhou and K. Venkatesh, [i Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach i], Singapore: World Scientific, 1998.