Modular logic controllers for machining systems: Formal representation and performance analysis using Petri nets

IEEE Transactions on Robotics and Automation

Volumn 15, Issue 6, 1999, Pages 1046-1061

  Park, Euisu ^b   Tilbury, Dawn M ^a,c   Khargonekar, Pramod P ^a,c  

^a IEEE

^b NATIONAL SCIENCE FOUNDATION   (United States)

^c UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMOBILE MANUFACTURE; COMPUTER SIMULATION; LOGIC DEVICES; MACHINING; PETRI NETS; PROCESS CONTROL;

MODULAR LOGIC CONTROLLERS; RECONFIGURABLE MANUFACTURING SYSTEMS;

CONTROL EQUIPMENT;

EID: 0033353064     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.817669     Document Type: Article

References (30)

1. L. Ferrarini, "An incremental approach to ligic controller design with Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 22, pp. 461-473, May/June 1992.
2. L. Ferrarini, M. Narduzzi, and M. Tassan-Solet, "A new approach to modular liveness analysis conceived for large logic controllers' design," IEEE Trans. Robot. Automat., vol. 10, pp. 169-184, Apr. 1994.
3. J. Zaytoon, " Specification and design of logic controllers for automated manufacturing systems," Robot. Comput.-Integr. Manufact., vol. 12, no. 4, pp. 353-366, 1996.
4. M. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, June 1992.
5. M. Jafari and T. boucher, "A rule-based system for generating a ladder logic control program from a high-level systems model," J. Intell. Manufact., vol. 5, pp. 103-120, 1994.
6. J. Jiang, D. Azzopardi, D. J. Holding, G. F. Carpenter, and J. S. Sagoo, "Real-time synchronization of multi axis high-speed machines, from SFC specification to Petri net verification," Proc. Inst. Elect. Eng., Control Theory Appl., vol. 143, no. 2, pp. 164-170, Mar. 1996.
7. R. Valette, M. Courvoisier, J. Bigou, and J. Albukerque, "A Petri net based programmable logic controller," in Proc. IFIP Conf. Comput. Appl. Prod. Eng., 1983, pp. 103-116.
8. K. Venkatesh, M. Zhou, and R. J. Caudill, "Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system," IEEE Trans. Ind. Electron., vol. 41, pp. 611-619, Dec. 1994.
9. M. Zhou and E. Twiss, "Design of industrial automated systems via relay ladder logic programming and Petri nets," IEEE Trans. Syst., Man, Cybern. B, vol. 28, pp. 137-150, Feb. 1998.
10. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Ph.D. dissertation, Dept. Elect. Eng., Mass. Inst. Technol., Cambridge, Sept. 1973.
11. J. Sifakis, "Use of Petri nets for performance evaluation," in Meas., Model. Eval. Comput. Syst., pp. 75-93, 1977.
12. C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Softw. Eng., vol. SE-6, pp. 440-449, Sept. 1980.
13. C. Philippe, "Timed event graph: A complete study of their controlled execution," in Proc. Int. Workshop Timed Petri Nets, 1985.
14. J. Colom and M. Silva, "Convex geometry and semiflows in P/T nets," Adv. Petri Nets: APN., pp. 79-112, 1985.
15. B. A. Graham, "The changing control methodology for multi-station machine tools," in Proc. IPC'92: Enabling Flexibility, 1992, pp. 443-451.
16. T. P. McDunn, "The simple approach to transfer line control," in Proc. IPC'92: Enabling Flexibility, 1992, pp. 297-306.
17. M. Silva, "Logical controllers," in Proc. IFAC Low Cost Automat., Milan, Italy, 1989.
18. R. W. Lewis, Programming Industrial Control Systems Using IEC 1131-3. London, U.K.: Inst. Elect. Eng., 1995.
19. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
20. R. David and H. Alla, " Petri nets for modeling of dynamic systems - A survey," Automatica, vol. 30, no. 2, pp. 175-202, 1994.
21. W. Reisig, Petri Nets. Berlin, Germany: Springer-Verlag, 1982.
22. F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva, and F. B. Vernadat, Practice of Petri Netsin Manufacturing. New York: Chapman & Hall, 1993.
23. R. David, "Grafcet: A powerful tool for specification of logic controllers," IEEE Trans. Contr. Syst. Technol., vol. 3, pp. 253-268, Sept. 1995.
24. F. Commoner, A. Holt, S. Even, and A. Pnueli, "Marked directed graphs," J. Comput. Syst. Sci., vol. 5, pp. 511-523, 1971.
25. E. Park, D. M. Tilbury, and P. P. Khargonekar, "A formal implementation of logic controllers for machining systems using Petri nets and sequential function chart," in Proc. 1998 Jpn.-USA Symp. Flexible Automat., Otsu, Japan, July 1998, pp. 683-690.
26. Y. Koren, "Reconfigurable machining systems vision with examples," Tech. Rep. 19, ERC/RMS, 1999.
27. M. Mehrabi, A. Ulsoy, and Y. Koren, "Reconfigurable manufacturing systems: Key to future manufacturing," in Proc. 1998 Jpn.-USA Symp. Flexible Automat., Otsu, Japan, July 1998, pp. 677-682.
28. Y. Koren and A. G. Ulsoy, "A science-base for reconfigurable manufacturing systems," Tech. Rep. 1, ERC/RMS, 1997.
29. N. G. Leveson and J. L. Stolzy, "Safety analysis using Petri nets," IEEE Trans. Softw. Eng., vol. SE-13, pp. 386-397, Mar. 1987.
30. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1990.