Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell

IEEE Transactions on Systems, Man and Cybernetics

Volumn 23, Issue 2, 1993, Pages 523-531

  McDermott, Kevin ^b  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^b MONTCLAIR STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DATA REDUCTION; GRAPH THEORY; MATHEMATICAL MODELS; PETRI NETS; PROCESS CONTROL; SYSTEMS ANALYSIS;

DISCRETE EVENT SYSTEMS; PETRI NET ANALYSIS; PETRI NET SYNTHESIS; REACHABILITY SET;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0027560257     PISSN: 00189472     EISSN: 21682909     Source Type: Journal    
DOI: 10.1109/21.229464     Document Type: Article

References (35)

1. A. Datta and S. Ghosh, “Modular synthesis of deadlock-free control structures,” in Foundations of Software Technology and Theoretical Computer Science, vol. 241, G. Goos and J. Hartmanis, 1986, pp. 288–318.
2. J.F. Claver, G. Harhalakis, J.M. Proth, V.M. Savi, and X.L. Xie, “A stepwise specification of a manufacturing system using Petri nets,” in Proc. IEEE Int. Conf Systems, Man, and Cybernetics, Charlottesville, VA, Octo, 1991, 373–378.
3. D. Crockett, A. A. Desrochers, F. DiCesare, and T. Ward, “Implementation of a Petri net controller for a machining workstation,” in Proc. IEEE Int. Conf. Robotics and Automation, Raleigh, NC, 1987, pp. 1861–1867.
4. F. DiCasare and A. A. Desrochers, “Modeling, control, and performance analysis of automated manufacturing systems using Petri nets,” in Control and Dynamic Systems, vol. 47, C. T. Leondes, Ed. New York: Academic, 1991, pp. 121–172.
5. P. Freedman, “Time, Petri nets, and robotics,” IEEE Trans. Robotics Automation, vol. 7, no. 4, pp. 417–433, 1991.
6. Y. C. Ho, “Performance evaluation and peturbation analysis of discrete event dynamics systems,” IEEE Trans. Automat. Contr., vol. AC-32, no. 7, pp. 563–572, 1987.
7. D. L. Guo, F. DiCasare, and M. C. Zhou, “A moment generating function-based approach for evaluating extended stochastic Petri nets,” IEEE Trans. Automat. Contr., vol. 38, Feb. 1991.
8. I. Koh and F. DiCesare, “Modular transformation methods for generalized Petri nets and their applications in manufacturing automation,” IEEE Trans. Syst. Man Cybern., vol. 21, no. 6, pp. 963–973, 1991.
9. B. H. Krogh and C. L. Beck, “Synthesis of place/transition nets for simulation and control of manyfacturing systems,” in Proc. IFIP Symp. Large Systems, Zurich, Switzerland, Aug. 1986.
10. C. G. Looney, “Fuzzy Petri nets for decision-making,” IEEE Trans. Syst. Man Cybern., vol. 18, no. 1, 178–183, 1988.
11. K.J. McDermott and K. V. Kamisetty, “Developing an FMS using IE tools and principles,” Indust. Eng. Mag., vol. 23, no. 12, pp. 28–31, Dec. 1991.
12. K.J. McDermott, “An expert system based flexible manufacturing cell,” IBM Manuf. Technol. Dig., vol. 5, no. 1, pp. 71–75, 1987.
13. M. Molloy, “Performance analysis using stochastic Petri nets,” IEEE Trans. Comput., vol. C-31, no. 9, pp. 913–917, 1982.
14. T. Murata et al., “A Petri net-based controller for flexible and maintainable sequence control and its applications in factory automation,” IEEE Trans. Indust. Electron., vol. IE-3, no. 1, pp. 1–8, 1986.
15. T. Murata, “Petri nets: Properties, analysis and applications,” Proc. IEEE., vol. 44, no. 4, pp. 541–579, Apr. 1989.
16. Y. Narahari and N. Viswanadham, “A Petri net approach to the modeling and analysis of flexible manufacturing systems,” Ann. Oper. Res., vol. 3, 449–472, 1984.
17. P. A. Patel, “Petri net modeling and analysis of an FMS cell,” Master’s thesis, Manuf. Eng. Program, New Jersey Inst. Technol., 1991.
18. P. J. G. Ramage and W. M. Wonham, “The control of discrete event systems,” Proc. IEEE, vol. 71, no. 1, pp. 81–98, 1989.
19. C. Ramchandani, “Analysis of asynchronous concurrent systems by timed Petri nets,” Ph.D. dissertation, MIT, Cambridge, MA, 1974.
20. M. Silva and R. Valette, “Petri nets in flexible manufacturing,” in Advances in Petri Nets, G. Rozenberg, Ed. New York: Springer-Verlag, 1990, pp. 375–417.
21. R. Valette, “Analysis of Petri nets by stepwise refinements,” J. Comput. Syst. Sci., vol. 18, pp. 35–46, 1979.
22. R. Valette, “Nets in production systems,” in Advances in Petri Nets 1986, vol. 255, W. Brauer, W. Reisig, and G. Rozenberg, Eds. New York: Springer-Verlag, pp. 191–217.
23. F.-Y. Wang, K. J. Kyriakopoulos, A. Tsolkas, and G. N. Saridis, “A Petrinet coordination model for an intelligent mobile robot,” IEEE Trans. Man Cybern., vol. 21, no. 4, 444–455, 1991.
24. D. Zhang, “Planning with Pr/T nets,” in Proc. IEEE Int. Conf. Robotics and Automation, Sacramento, CA, April 7–12, 1991, pp. 769–775.
25. M. C. Zhou and F. DiCesare, “Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources,” IEEE Trans. Robotics Automation, vol. 7, no. 7, pp. 515–527, 1991.
26. M.C. Zhou and M. C. Leu, “Modeling and performance analysis of a flexible PCB assembly station using Petri nets,” Trans. ASME J. Electron. Packaging, vol. 113, no. 4, pp. 410–416, 1991.
27. M. C. Zhou, “A theory for the synthesis and augmentation of Petri nets in automation,” Doctoral dissertation, Dep. ECSE, Rensselaer Polytechnic Inst., Troy, NY, 1990.
28. M.C. Zhou, F. DiCesare, and D. Rudolph, “Control of a flexible manufacturing system using Petri nets,” in 1990 IFAC Congr. Conf, vol. 9, Tallin, USSR, 1990, pp. 43–48.
29. M.C. Zhou, F. DiCesare, and D. Rudolph, “Design and implementation of a petri net based supervisor for a flexible manufacturing system,” IFAC J. Automatica, vol. 28, no. 6, pp. 1199–1208, Nov. 1992.
30. M. C. Zhou and F. DiCesare, “Adaptive design of Petri net controllers for error recovery in automated manufacturing systems,” IEEE Trans. Syst. Man Cybern., vol. 19, no. 5, pp. 963–973, 1989.
31. M.C. Zhou, F. DiCesare, and A.A. Desrochers, “A top-down modular approach to systematic synthesis of Petri net models for manufacturing systems,” in Proc. IEEE Int. Conf. Robotics and Automation, Scottsdale, AZ, May 1989, pp. 534–539.
32. M. C. Zhou, “Combination of Petri nets and intelligent decision makers for manufacturing system control,” in Proc. 6th IEEE Int. Symp. Intelligent Control, Arlington, VA, 1991, pp. 146–151
33. M. C. Zhou, F. DiCesare, and A. A. Desrochers, “A hybrid methodology for synthesis of Petri net models for manufacturing systems,” IEEE Trans. Robotics Automation, vol. 8, no. 3, pp. 350–361, 1991.
34. M.C. Zhou, D. L. Guo, and F. DiCesare, “Integration of Petri nets and moment generating function approaches for system performance evaluation,” J. Syst. Integration, vol. 3, no. 1, pp. 43–62, 1993.
35. M.C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturer Systems. Boston: Kluwer Academic, 1993.