Design, analysis and implementation of a real-world manufacturing cell controller based on Petri nets

International Journal of Computer Integrated Manufacturing

Volumn 14, Issue 3, 2001, Pages 304-318

  Huang, Yisheng ^a,b   Jeng, Muder ^c   Chung, Shengluen ^a  

^a NATIONAL TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

^b Fu Shin Inst of Technol and Comm   (Taiwan)

^c NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348142536     PISSN: 0951192X     EISSN: None     Source Type: Journal    
DOI: 10.1080/09511920151099107     Document Type: Article

References (22)

1. CAMURRI, A., and FRANCHI, P., 1990, An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri-nets. In Proc. IEEE Int. Conf. on Robotics and Automation, Vol. 1, pp. 520-525.
2. CHU, F., and XIE, X. L., 1997, Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robotics Automat., 13(6), 793-804.
3. EZPELETA, J., COLOM, J. M., and MARTINEZ, J., 1995, A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2), 173-184.
4. EZPELETA, J., and COUVREUR, J. M., 1991, A new technique for finding a generating family of siphons, traps and st-components, application to colored Petri nets. In Proc. 12th Int. Conf. on Appl. and Theory of Petri Nets, pp. 26-147.
5. EZPELETA, J., and MARTINEZ, J., 1993, Synthesis of live models for a class of FMS. In Proc. IEEE Int. Conf. on Robotics and Automation, Vol. 3, pp. 557-563.
6. HOLLIDAY, M. A., and VERNON, M. K., 1985, A generalized timed Petri net model for performance analysis. In Proc. 1985 IEEE Int. Workshop on timed Petri nets, Torino, Italy, pp. 181-190.
7. HUANG, H. P., and CHANG, P. C., 1992, Specification, modeling and control of a flexible manufacturing cell. Int. J. Prod. Res., 30, 2515-2543.
8. JENG, M. D., and DICESARE, F., 1995, Synthesis using resource control nets for modeling share-resource systems. IEEE Trans. Robotics Automat., 11(3), 317-327.
9. JENG, M. D., and XIE, X. L., 1999, Synthesis of resource control nets using siphons. IEEE Trans. Syst. Man. Cybern., Part A, 29(4), 399-406.
10. JENG, M. D., and XIE, X. L., 1999, Synthesis of extended resource control nets using siphons. IEEE Trans. Robotics Automat., 15(4), 692-703.
11. JENG, M. D., PENG, M. Y., and HUANG, Y. S., 1999, An algorithm for calculating minimal siphons and traps of Petri nets. International Journal of Intelligent Control and Systems, 3(3), 263-275.
12. MURATA, T., 1989, Petri nets: properties, analysis, and applications. In Proceedings of the IEEE, 77(4), pp. 541-580.
13. MOORE, K. E., and GUPTA, S. M., 1996, Petri net models of flexible and automated manufacturing systems: a survey. Int. J. Prod. Res., 34(11), 3001-3035.
14. RAMAMOORTHY, C. V., and HO, G. S., 1980, Performance evaluation of a synchronous concurrent systems using Petri nets. IEEE Trans. SoftwareEngng, 6(5), 440-449.
15. RUMBAUGH, J., 1991, Object-oriented Modeling and Design (New Jersey: Prentice Hall).
16. SUN, T. H., CHEN, C. W., and FU, L. C., 1994, A Petri net based approach to modeling and scheduling for an FMS and a case study. IEEE Trans. on Industrial Electronics, 41(6), 593-601.
17. SUZUKI, I., and MURARA, T., 1983, A method for stepwise refinement and abstraction of Petri nets. J Comput. Syst. Sci., 27, 51-76.
18. VALETTE, R., 1979, Analysis of Petri nets by stepwise refinement. J. Comput. Syst. Sci., 18, 35-46.
19. YAN, P., ZHOU, M. C., HU, B., and FENG, Z., 1997, Modeling and control of the FMS workstation level information flow by a modified Petri net. In Proc. 6th ETFA Int. Conf., pp. 321-326.
20. ZHOU, M. C., DICESARE, F., and RUDOLPH, D., 1992, Design and implementation of a Petri net supervisory for a flexible manufacturing system. IEEE Trans. Robotics Automat., 28(6), 1199-1208.
21. ZHOU, M. C., and DICESARE, F., 1991, Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems. IEEE Trans. on Robotics and Automation, 7, 515-527.
22. ZHOU, M. C., MCDERMOTT, K., and PATEL, P. A., 1993, Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Trans. on Syst., Man Cybern., 23, 523-531.