Petri net approach to deadlock analysis for classes of kanban systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 3, Issue , 2000, Pages 2877-2882

  Magnino, F ^a   Valigi, P ^a  

^a UNIVERSITY OF PERUGIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK ANALYSIS; DEADLOCK PREVENTION POLICY; KANBAN ANALYSIS;

CONTROL SYSTEM ANALYSIS; MANUFACTURE; MATHEMATICAL MODELS; OPTIMIZATION; RESOURCE ALLOCATION; SYSTEMS ANALYSIS;

PETRI NETS;

EID: 0033707010     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. C. Cassandras, Discrete Event Systems: Modeling and Performance ,analysis. Boston, MA: Irwin & Aksen, 1993.
2. L. Holloway, B. Krogh, and A. Giua, "A survey of petri net methods for controlled discrete event System" Discrete Event Dynamic Systems: Theory and Application.s, vol. 7, pp. 151-190, 1997.
3. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Even,t Con,trol Of Manufacturing Systems. Kluwer Academic Publishers. 1993.
4. G. Liberatore, S. Nicosia, and P. Valigi, "Dynamic allocation of karibans in a manufacturing system using perturbation analysis," in Proc of thle 1995 INRIA/IEEE Conference on Emerging Technologies and Factory Automation, vol. 3, (Paris, France), pp. 595-600, October, 10-13 1995.
5. F. Martinclli and P. Valigi, "Ordinal comparison for the control of non-stationary discrete event systems," in Workshop on Discrete Event Systems [WODES98], (Cagliari, Sardinia, Italy), August 1998.
6. J. Bard and B. Golany, "Determining the number of Kanbans in a multiproduct, multistage production system," Int. J. Prod. Res., vol. 29, no. 5, pp. 881-895, 1991.
7. C. G. Panayiotou and C. Cassandras, "Optimization of kanban-based prodiiction systenis," in proc. of the WODES 96, International Workshop on Discrete Event Systems, (Edinburgh (Scothland): IEE Computing Control Division), 1996.
8. M. Di Mascolo, Y. Freiri, Y. Dallery, and R. David, "A iiriified modelling of Kanban systcrns using Petri nets," The Int. Journal of Flexible Manufaciurring sytems, vol. 3, pp. 275-307, 1991.
9. C. Duri, Y. Frein, and M. Di Mascolo, "Pcrformance evaluation of kanban miiltiple-product production system," in IEEE Conf. on Emerging Technologies and Factory Automation, (Paris), October 1995.
10. J. Moody and P. Antsaklis, Super.visory Contro1 of Discrete Euent Systems Using Petri Nets. Kluwer Academic Piiblishers, 1998.
11. J. C. J. Ezpeleta and J. Martinez, "A pctri nct based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. osn. Robotics and Automation, vol. 11, no. 2, pp. 173-184, 1995.
12. F. Lewis, A. Gurel, S. Bogtlari, A. Doganalp, and O. Pastravanu, "Analysis of deadlock arid circiilar waits using a matrix model for flexible: manufacturing systems," Autorrr.atica, vol. 34, no. 9: pp. 1083-1100, 1998.
13. Z. Banaszak and B. Krogh "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. on Robotics an,d Automation,Vol. 6, 110. 6, pp. 724 734, 1990
14. T. Murata, "Petri nets: Propcrtics, analysis and application ,"proc of the IEEE, Vol 77 No.4 pp. 541-580, 1989