Solving resource contention problem in FMS using Petri nets and a rule-based approach

International Journal of Production Research

Volumn 39, Issue 4, 2001, Pages 785-808

  Jain, P K ^a  

^a HOSEI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

MOTION PLANNING; PETRI NETS; RESOURCE ALLOCATION; ROBOTS; SCHEDULING;

MULTI-BATCH MANUFACTURING SYSTEM; SHOP FLOOR CONTROLLER;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0035836309     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540010005114     Document Type: Article

References (40)

1. Banaszak, Z. A., and Krogh, B. H., 1990, Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation, 6, 724-734.
2. Chan, C. C., and Wang, H. P., 1993, Design and development of a stochastic high-level Petri net system for FMS performance evaluation. International Journal of Production Research, 31, 2415-2439.
3. Choi, B. W., Kuo, W., and Jackman, J. K., 1994, Petri net extensions for modelling and validating manufacturing systems. International Journal of Production Research, 32, 1819-1835.
4. Chretienne, P., and Carlier, J., 1984, Modelling, scheduling problems with timed Petri nets. Advances in Petri nets (Lecture notes in computer science), 188, 62-82.
5. Coffman, E. G., Elphick, M. J., and Shoshani, A., 1971, System deadlocks. ACM Computing Surveys, 3, 67-78.
6. Di Cesare, F., and Desrochers, A. A., 1991, Modelling, control and performance analysis of automated manufacturing systems using Petri nets. In C. T. Leondes (ed.), Control and Dynamic Systems, vol. 47 (New York: Academic Press), pp. 121-172.
7. Di Cesare, F., Harhalakis, G., Proth, J. M., Silva, M., and Vernadat, F. B., 1993, Practice of Petri Nets in Manufacturing (London: Chapman & Hall).
8. Desrochers, A. A., and Al-Jaar, R. Y., 1994, Applications of Petri Nets in Manufacturing Systems (Raleigh: IEEE Press).
9. Genrich, H. J., and Lautenbach, K., 1988, System modelling with high level Petri nets. Theoretical Computer Science, 13, 109-136.
10. Habermann, A. N., 1969, Prevention of system deadlocks. Communication ACM, 12, 373-385.
11. Havender, J. W., 1968, Avoiding deadlock and multitasking systems. IBM System Journal, 7, 74-84.
12. He, D. W., Strege, B., Tolle, H., and Kusiak, A., 2000, Decomposition in automatic generation of P-nets for manufacturing system control and scheduling. International Journal of Production Research, 38, 1437-1457.
13. Jensen, K., 1981a, Coloured Petri nets and the invariats-method. Theoretical Computer Science, 14, 317-336.
14. Kamath, M., and Viswanadham, N., 1986, Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems. Proceedings of IEEE International Conference on Robotics and Automation, 312-317.
15. Keller, R, 1972, Vector Replacement Systems: A Formalism for Modelling Asynchronous Systems. Technical Report 117 (Princeton: Computer Science Laboratory, Princeton University).
16. Lee, D. Y., and Di Cesare, F., 1994a, Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation, 10, 123-132.
17. Leung, Y. T., and Sheen, G.-J., 1993, Resolving deadlocks in flexible manufacturing cells. Journal of Manufacturing Systems, 12, 291-304.
18. Liu, C. M., and Wu, F. C., 1993, Using Petri net to solve FMS problems. International Journal of Computer Integrated Manufacturing, 6, 175-185.
19. Martinez, J., Muro, P. R., and Silva, M., 1987, Modelling, validation and software implementation of production systems using high level Petri nets. In Proceedings of the IEEE International Conference on Robotics and Automation (Raleigh: IEEE Press), pp. 1180-1185.
20. McDermott, K. J., and Kamisetty, K. V., 1991, Developing an FMS using IE tools and principles. Industrial Engineering and Management, 23, 28-31.
21. Memmi, G., and Roucairol, G., 1979, Linear algebra in net theory. Net Theory and Applications. Lecture Notes in Computer Science, Vol. 84, pp. 213-223.
22. Moore, K. E., and Gupta, S. M., 1996, Petri net models of flexible and automated manufacturing systems: a survey. International Journal of Production Research, 34, 3001-3035.
23. Murata, T., 1989, Petri nets: properties, analysis and applications. Proceedings of IEEE, 44, 541-579.
24. Murata, T., Shenker, B., and Shatz, S. M., 1989, Detection of a static deadlock using Petri net invariants. IEEE Transactions on Software Engineering, 15.
25. Narahari, Y., and Viswanadham, Y., 1985, A Petri net approach to the modelling and analysis of flexible manufacturing systems. Annals of Operation Research, 3, 449-472.
26. Peterson, J. L., 1981, Petri Net Theory and Modelling of Systems (Englewood Cliffs: Prentice-Hall).
27. Raju, K. R., and Chetty, O. V. K., 1993a, Addressing design and control issues of AGV based FMS with Petri net aided simulation. Computer Integrated Manufacturing Systems, 6, 125-134.
28. Raju, K. R., and Chetty, O. V. K., 1993b, Design and evaluation of automated guided vehicle systems for flexible manufacturing systems: an extended Petri net based approach. International Journal of Production Research, 31, 1069-1096.
29. Silva, M., and Valette, R., 1990, Petri nets in flexible manufacturing. In G. Rozenberg (ed.), Advances in Petri nets (New York: Springer), pp. 375-417.
30. Sifakis, J., 1980, Deadlock and livelocks in transition systems. Mathematical Foundations Computer Science, 88.
31. Sun, T. H., Cheng, C. W., and Fu, L. C., 1994, A Petri net based approach to modelling and scheduling for an FMS and a case study. IEEE Transactions on Industrial Electronics, 41, 593-601.
32. Viswanadham, N., and Narahari, Y., 1994, Performance Modelling of Automated Manufacturing Systems (Prentice-Hall).
33. Viswanadham, N., Narahari, Y., and Johnson, T. L., 1990, Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation, 6, 713-723.
34. Watson, J. F. I., and Desrochers, A. A., 1991, Applying Generalised stochastic Petri nets to manufacturing systems containing non exponential transition functions. IEEE Transactions on Systems, Man and Cybernetics, 21, 1008-1017.
35. Wysk, R. A., Yang, N. S., and Joshi, S, 1991, Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation, 7, 853-859.
36. Yim, D. S., and Barta, T. A., 1994, A Petri net based simulation tool for the design and analysis of flexible manufacturing system. Journal of Manufacturing Systems, 13, 251-261.
37. Zhou, M. C., and Di Cesare, F., 1991, Parallel and sequential mutual exclusions for Petri net modelling for manufacturing systems with shared resources. IEEE Transaction on Robotics and Automation, 7, 515-527.
38. Zhou, M. C., and Di Cesare, F., 1989, Adoptive design of Petri net controller for error recovery in automated manufacturing systems. IEEE Transactions on System, Man and Cybernatics, 19, 963-973.
39. Zhou, M. C., and Di Cesare, F., 1992, A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Transactions on Robotics and Automation, 8, 350-361.
40. Zhou, M. C., McDermott, K. J., and Patel, P., 1993, Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on Systems, Man and Cybernatics, 23, 523-530.