Petri net modeling of buffers in automated manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 26, Issue 1, 1996, Pages 157-164

  Zhou, MengChu ^a   DiCesare, Frank ^b  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FLEXIBLE MANUFACTURING SYSTEMS; LEARNING SYSTEMS; MATHEMATICAL MODELS; RANDOM PROCESSES; STORAGE (MATERIALS); THEOREM PROVING;

AUTOMATED MANUFACTURING SYSTEM; AUTOMATIC STORAGE; BUFFER MODULES; RETRIEVAL SYSTEM;

PETRI NETS;

EID: 0030086204     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.484449     Document Type: Article

References (21)

1. T. Agerwala, "Putting Petri nets to work," Computer, vol. 12, no. 12, pp. 85-94, 1979.
2. G. Berthelot, "Transformations and decompositions of nets," in Advances in Petri Nets 1986, W. Brauer, W. Reisig and G. Rozenberg, Eds. Berlin: Springer-Verlag, vol. 255, pt. I, pp. 359-376, 1987.
3. D. Y. Chao, M. C. Zhou and D. T. Wang, "Extending knitting technique to Petri net synthesis of automated manufacturing systems," Computer J., Oxford University Press, vol. 37, no. 1, pp. 67-76, 1994.
4. R. David and H. Alla, Petri Nets and Grafcet. New York: Prentice-Hall, 1992.
5. M. N. Eleftheriu and A. A. Desrochers, "An approximation schema for the estimation of buffer sizes for manufacturing facilities," IEEE Trans. Robot. Automat., vol. 7, no. 4, pp. 551-562, 1991.
6. M. D. Jeng and DiCesare, "A review of synthesis techniques for Petri nets with applications to automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 23, no. 1, pp. 301-312, 1993.
7. 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.
8. K. H. Lee and J. Favrel, "Hierarchical reduction method for analysis and decomposition of Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 15, no. 2, pp. 272-280, 1985.
9. T. Murata, "Petri nets: Properties, analysis and application," in Proc. IEEE, 1989, vol. 77, no. 4, pp. 541-579.
10. Y. Narahari and N. Viswanadham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems," Annals Oper. Res., vol. 3, pp. 449-472, 1985.
11. I. Suzuki and T. Murata, "A method for stepwise refinements and abstractions of Petri nets," J. Comp. Syst. Sci., vol. 27, pp. 51-76, 1983.
12. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comp. Syst. Sci., vol. 18, pp. 35-46, 1979.
13. K. S. Valvanis, "On the hierarchical analysis and simulation of flexible manufacturing systems with extended Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 20, no. 1, pp. 94-100, 1990.
14. J. L. Villarroel, J. Martinez and M. Silva, "GRAMAN: A graphic system for manufacturing system design," IMACS Int. Symp. Sys. Model. & Simul. (SMS'88), Cetraro, Italy, 1988.
15. 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.
16. M. C. Zhou, F. DiCesare and A. A. Desrochers, "A top-down modular approach to synthesis of Petri net models for manufacturing systems," in Proc. IEEE Int. Conf. Robotics and Automation, Scottsdale, AZ, 1989, pp. 534-539.
17. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources," IEEE Trans. Robot. Automat., vol. 7, no. 4, pp. 515-527, 1991.
18. M. C. 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, no. 3, pp. 350-361, 1992.
19. M. C. Zhou, F. DiCesare and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," Automatica, vol. 28, no. 6, pp. 1999-2008, 1992.
20. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
21. M. C. Zhou, Ed., Petri Nets in Flexible and Agile Automation. Norwell, MA: Kluwer, 1995.