A systematic approach for the sequence controller design in manufacturing systems

International Journal of Advanced Manufacturing Technology

Volumn 25, Issue 7-8, 2005, Pages 754-760

  Lee, Jin Shyan ^a   Hsu, Pau Lo ^a  

^a NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

Author keywords

IDEF0; Ladder logic diagrams; Manufacturing systems; Petri nets; Programmable logic controllers; Sequence controllers

Indexed keywords

CONTROL SYSTEM ANALYSIS; INFORMATION ANALYSIS; INPUT OUTPUT PROGRAMS; MACHINE DESIGN; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

IDEFO; LADDER LOGIC DIAGRAMS; MANUFACTURING SYSTEMS; SEQUENCE CONTROLLERS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 17444398256     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00170-003-1902-9     Document Type: Article

References (21)

1. Tilbury D, Khargonekar P (2001) Challenges and opportunities in logic control for manufacturing systems. IEEE Control Syst Mag 21(1): 105-108
2. Venkatesh K, Zhou MC, Caudill RJ (1994) Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system. IEEE Trans Ind Electron 41(6):611-619
3. Zhou MC, Twiss E (1998) Design of industrial automated systems via relay ladder logic programming and Petri nets. IEEE Trans Syst Man Cybern C 28(1):137-150
4. Lee JS, Hsu PL (2001) A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation. In: Proceedings of IEEE International Conference on Systems Man, and Cybernetics, Tucson, USA, pp 2711-2716, October 2001
5. David R, Alla H (1994) Petri nets for modeling of dynamics systems - a survey. Automatica 30(2):175-202
6. Liang GR, Hong HM (1994) Hierarchy transformation method for repetitive manufacturing system specification, design, verification and implementation. Comput Integr Manuf Syst 7(3):191-205
7. Janneck JW, Naedele M (1998) Modeling a die bonder with Petri nets: a case study. IEEE Trans Semicond Manuf 11(3):404-409
8. Santarek K, Buseif IM (1998) Modeling and design of flexible manufacturing systems using SADT and Petri nets tools. J Mater Process Technol 76:212-218
9. Zimmermann A, Hommel G (1999) Modeling and evaluation of manufacturing systems using dedicated Petri nets. Int J Adv Manuf Technol 15(2): 132-138
10. Lee JS, Hsu PL (2000) A PLC-based design for the sequence controller in discrete event systems. In: Proceedings of IEEE International Conference on Control Applications, Anchorage, USA, pp 929-934, September 2000
11. Uzam M, Jones AH (1998) Discrete event control system design using automation Petri nets and their ladder diagram implementation. Int J Adv Manuf Technol 14(10):716-728
12. Feldmann K, Colombo AW, Schnur C, Stockel T (1999) Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC1131. I. Specification and design. IEEE Trans Control Syst Technol 7(6):657-665
13. Feldmann K, Colombo AW, Schnur C, Stockel T (1999) Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC1I31. II. Design and implementation. IEEE Trans Control Syst Technol 7(6):666-674
14. Satoh T, Oshima H, Nose K, Kumagai S (1992) Automatic generation system of ladder list program by Petri net. In: Proceedings of IEEE International Workshop on Emerging Technologies and Factory Automation (ETFA), pp 128-133
15. Jafari MA, Boucher TO (1994) A rule-based system for generating a ladder logic control program from a high level system model. J Intell Manuf 5:103-120
16. Frey B (2000) Automatic implementation of Petri net based control algorithm on PLC. In: Proceedings of American Control Conference 4:2819-2823
17. Lai HF, Lee CE (2001) A hybrid specification method for the design of a workcell controller in manufacturing systems. Int J Adv Manuf Technol 17(12):928-938
18. National Institute of Standards and Technology (1993) FIPS 183 Integration Definition for Function Modeling (IDEF0). NIST, USA
19. International Electrotechnical Commission (1993) Programmable Controllers Part 3, Programming Languages. IEC 1131-3, IEC Geneva
20. Miyazawa I, Tanaka H, Sekiguchi T (1997) Verification of the behavior of sequential function chart based on its Petri net model. In: Proceedings of IEEE International Workshop on Emerging Technologies and Factory Automation (ETFA) pp 532-537
21. Moalla M (1985) Réseaux de Petri interprétés et Grafcet. TSI-Technique et Science Informatique 14(1):17-30