System Modeling and Control with Resource-Oriented Petri Nets

System Modeling and Control with Resource-Oriented Petri Nets

Volumn , Issue , 2009, Pages 1-284

  Wu, Naiqi ^a   Zhou, MengChu ^b,c  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85127961973     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (104)

1. Abdallah, I., and A. Elmaraghy. 1998. Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14:704-15.
2. Aho, A. V., J. E. Hopcroft, and J.D. Ullman. 1987. Data structures and algorithms. Reading, MA: Addison-Wesley.
3. Al-Jaar, R. Y., and A.A. Desrochers. 1990. Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets. IEEE Transactions on Robotics and Automation 6:621-39.
4. Bader, M. E., R. P. Hall, and G. Strasser. 1990. Integrated processing equipment. Solid State Technology 33:149-54.
5. Banaszak, Z. A., and B.H. Krogh. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation 6:724-34.
6. Bozer, Y. A., and M.M. Srinivasan. 1989. Tandem configuration for AGV systems offer flex-ibility and simplicity. Industrial Engineering 21:23-27.
7. Bozer, Y. A., and M.M. Srinivasan. 1991. Tandem configuration for automated guided vehicle systems and the analysis of single vehicle loops. IIE Transactions 23:72-82.
8. Bozer, Y. A., and M.M. Srinivasan. 1992. Tandem AGV systems: A partitioning algorithm and performance comparison with conventional AGV systems. European Journal of Operational Research 63:173-92.
9. Burggraaf, P. 1995. Coping with the high of wafer fabs. Semiconductor International 38:45-50.
10. Byeon, E.-S., S. D. Wu, and R.H. Storer. 1998. Decomposition heuristics for robust job-shop scheduling. IEEE Transactions on Robotics and Automation 14:303-13.
11. Chen, S.-J., and L. Lin. 1999. Reducing total tardiness cost in manufacturing cell scheduling by a multi-factor priority rule. International Journal of Production Research 37:2939-56.
12. Cho, H., T. K. Kumaran, and R.A. Wysk. 1995. Graph-theoretic deadlock detection and resolu-tion for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11:413-21.
13. Chu, F., and X.L. Xie. 1997. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation 13:793-804.
14. Coffman, E. G., Jr., M. J. Elphick, and A. Shoshani. 1971. System deadlocks. ACM Computing Surveys 3:67-78.
15. Cormen, T. H., C. E. Leiserson, and R.E. Rivest. 1990. Introduction to algorithms. New York: MIT Press/McGraw-Hill.
16. Dowsland, K. A., and A.M. Greaves. 1994. Collision avoidance in bi-directional AGV systems. Journal of Operations Research Society 45:817-26.
17. Egbelu, P. J., and J.M. A. Tanchoco. 1986. Potential for bidirectional guided-path for automated vehicles based systems. International Journal of Production Research 24:1075-97.
18. Ezpeleta, J., J. M. Colom, and J. Martinez. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11:171-84.
19. Fanti, M. P., B. Maione, S. Mascolo, and B. Turchiano. 1997. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation 13:347-63.
20. Fanti, M. P., B. Maione, and B. Turchiano. 1997. Comparing digraph and Petri net approaches to deadlock avoidance in FMS modeling and performance analysis. IEEE Transactions on Systems, Man, and Cybernetics A 30:783-98.
21. Fanti, M. P., B. Maione, and B. Turchiano. 1997. Event control for deadlock avoidance in assembly systems. In Proceedings of IEEE Conference on Systems, Man, and Cybernetics, 3756-61.
22. Fanti, M. P., B. Maione, and B. Turchiano. 1998. Design and implementation of supervisors avoiding deadlocks in flexible assembly systems. In Proceedings of IEEE-SMCMulticonference on Computational Engineering Systems Application, Hammamet, Tunisia, 667-672.
23. Fanti, M. P., G. Maione, and B. Turchiano. 2002. Design of supervisors to avoid deadlock in flexible assembly system. International Journal of Flexible Manufacturing Systems 14:157-75.
24. Fanti, M. P., and M.C. Zhou. 2004. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics A 34:5-21.
25. Gligor, V. D., and S.H. Shuttuck. 1980. On deadlock detection in distributed systems. IEEE Transactions on Software Engineering 6(5).
26. Hammond, G. (1986). AGVS at work. New York: Springer-Verlag.
27. Holt, R. C. 1972. Some deadlock properties of computer systems. ACM Computing Surveys 6:79-96.
28. Hsieh, F.-S. 2004. Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Transactions on Systems, Man, and Cybernetics A 34:65-79.
29. Hsieh, F., and S. Chang. 1994. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 10:196-209.
30. Huang, J., U. S. Palekar, and S.G. Kapoor. 1993. A labeling algorithm for the navigation of automated guided vehicles. Journal of Engineering for Industry 115:315-21.
31. Jeng, M. D., and F. DiCesare. 1995. Synthesis using resource control nets for modeling shared- resource systems. IEEE Transactions on Robotics and Automation 11:317-27.
32. Jensen, K. 1981. Colored Petri nets and the invariant method. Theoretical Computer Science 14:317-36.
33. Jensen, K. 1986. Colored Petri nets. Lecture Notes in Computer Science, vol. 254, part 1, 248-99. Berlin: Springer-Verlag.
34. Johri, P. K. 1993. Practical issues in scheduling and dispatching in semiconductor wafer fabri-cation. Journal of Manufacturing Systems 12:74-485.
35. Joshi, S. B., E. G. Mettala, J. S. Smith, and R.A. Wysk. 1995. Formal models for control of flexible manufacturing cells: Physical and system models. IEEE Transactions on Robotics and Automation 11:558-70.
36. Kim, C. O., and S.S. Kim. 1997. An efficient real-time deadlock-free control algorithm for automated manufacturing systems. International Journal of Production Research 35:1545-60.
37. Kim, C. W., and J.M. A. Tanchoco. 1991. Conflict-free shortest bi-directional AGV routing. International Journal of Production Research 29:2377-91.
38. Kim, C. W., and J.M. A. Tanchoco. 1993. Operational control of bi-directional automated guided vehicle system. International Journal of Production Research 31:2123-38.
39. Kocay, W., and D.L. Kreher. 2005. Graphs, algorithms and optimization. Boca Raton, FL: Chapman & Hall/CRC.
40. Koff, G. A. 1987. Automatic guided vehicle: Application, control, and planning. Material Flows 4:3-16.
41. Krishnamurthy, N. N., R. Batta, and M.H. Karwan. 1993. Developing conflict-free routes for automated guided vehicles. Operations Research 41:1077-90.
42. Lawley, M. A. 1999. Deadlock avoidance for production systems with flexible routing. IEEE Transactions on Robotics and Automation 15:1-13.
43. Lawley, M. A., S. Reveliotis, and P. Ferreira. 1998. The application and evaluation of banker's algorithm for deadlock-free buffer space allocation in flexible manufacturing systems. International Journal of Flexible Manufacturing Systems 10:73-100.
44. Lawley, M. A., S. Reveliotis, and P. Ferreira. 1998. A correct and scalable deadlock avoidance policy for flexible manufacturing policy. IEEE Transactions on Robotics and Automation 14:796-809.
45. Lee, C.-C., and J.T. Lin. 1995. Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems. International Journal of Production Research 33:3249-265.
46. Lee, D. Y., and F. DiCesare. 1994. Scheduling FMS using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation, 10:123-132.
47. Li, Z. W., and M.C. Zhou. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics A 34:38-51.
48. Li, Z. W., and M.C. Zhou. 2008. Control of elementary and dependent siphons in Petri nets and their applications. IEEE Transactions on Systems, Man, and Cybernetics A 38:133-48.
49. Li, Z. W., M. C. Zhou, and N.Q. Wu. 2008. A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics C 38:173-88.
50. Malmbog, J. 1990. A model for the design of zone-control automated guided vehicle systems. International Journal of Production Research 28:1741-758.
51. Marsan, M. A., G. Conte, and G. Balbo. 1984. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems 2:93-122.
52. Murata, T. 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77:541-80.
53. Narahari, Y., and N. Viswanadham. 1985. A Petri net approach to modeling and analysis of FMS. Annals of Operations Research 3:449-72.
54. Paik, C., and D. Tcha. 1995. Throughput equivalencies in fork/join queueing networks with finite buffers and general service times. International Journal of Production Research 33:695-703.
55. Park, J., and S.A. Reveliotis. 2002. Liveness-enforcing supervision of resource allocation sys-tems with uncontrollable behavior and forbidden states. IEEE Transactions on Robotics and Automation 18:234-39.
56. Park, S. C., N. Raman, and M.J. Shaw. 1997. Adaptive scheduling in dynamic flexible manu-facturing systems: A dynamic rule selection approach. IEEE Transactions on Robotics and Automation 13:486-502.
57. Perkinson, T. L., R. S. Gyurcsik, and P.K. MacLarty. 1996. Single-wafer cluster tool performance: An analysis of the effects of redundant chambers and revisitations sequences on throughput. IEEE Transactions on Semiconductor Manufacturing 9:384-400.
58. Perkinson, T. L., P. K. MacLarty, R. S. Gyurcsik, and R.K. Cavin III. 1994. Single-wafer cluster tool performance: An analysis of throughput. IEEE Transactions on Semiconductor Manufacturing 7:369-73.
59. Proth, J.-M., and X.L. Xie. 1996. Petri nets: A tool for design and management of manufactur-ing systems. New York: John Wiley & Sons.
60. Ramaswamy, S. E., and S.B. Joshi. 1996. Deadlock-free schedules for automated manufacturing workstations. IEEE Transactions on Robotics and Automation 12:391-400.
61. Reveliotis, S. A. 1999. Accommodating FMS operational contingencies through routing flex-ibility. IEEE Transactions on Robotics and Automation 15:3-19
62. Reveliotis, S. A. 2000. Conflict resolution in AGV systems. IIE Transactions 32:647-59.
63. Reveliotis, S. A., and P.M. Ferreira. 1996. Deadlock avoidance policies for automated manu-facturing cells. IEEE Transactions on Robotics and Automation 12:845-57.
64. Rostami, S., B. Hamidzadeh, and D. Camporese. 2001. An optimal periodic scheduler for dual-arm robots in cluster tools with residency constraints. IEEE Transactions on Robotics and Automation 17:609-18.
65. Roszkowska, E. 2004. Supervisory control for deadlock avoidance in compound processes. IEEE Transactions on System, Man, and Cybernetics A 34:52-64.
66. Roszkowska, E., and R. Wojcik. 1993. Problems of process flow feasibility in FAS. In CIM in process and manufacturing industries, 115-20. Oxford: Pergamon
67. Silberschatz, A., and P.G. Galvin. 1994. Operating system concepts. 4th ed. Reading, MA: Addision-Wesley.
68. Singer, P. 1995. The driving forces in cluster tools development. Semiconductors International 38:113-18.
69. Sinriech, D., and J.M. A. Tanchoco. 1995. An introduction to the segmented flow approach for discrete material flow systems. International Journal of Production Research 33:3381-410.
70. Sinriech, D., J. M. A. Tanchoco, and Y.T. Herer. 1996. The segmented bi-directional singleloop topology for material flow systems. IIE Transactions 28:4-54.
71. Venkatesh, S., R. Davenport, P. Foxhoven, and J. Nulman. 1997. A steady-state throughput analysis of cluster tools: Dual-blade versus single-blade robots. IEEE Transactions on Semiconductor Manufacturing 10:418-23.
72. Viswanadham, N., and Y. Narahari. 1987. Colored Petri net models for automated manufacturing systems. Paper presented at Proceedings of IEEE International Conference on Robotics and Automation, Raleigh, NC.
73. Viswanadham, N., Y. Narahari, and T.L. Johnson. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation 6:713-23.
74. Wu, N. Q. 1997. Avoiding deadlocks in automated manufacturing systems with shared material handling system. In Proceedings of1997 IEEE International Conferenc on Robotics and Automation, Albuquerque, NM, 2427-33.
75. Wu, N. Q. 1999. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics C 29:192-204.
76. Wu, N. Q., and W.Q. Zeng. 2002. Deadlock avoidance in AGV system using colored Petri net model. International Journal of Production Research 40:223-38.
77. Wu, N. Q., and M.C. Zhou. 2000. Resource-oriented Petri nets for deadlock avoidance in automated manufacturing. In Proceedings of 2000 IEEE International Conference on Robotics and Automation, San Francisco, CA, 3377-82.
78. Wu, N. Q., and M.C. Zhou. 2001. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation 17:657-68.
79. Wu, N. Q., and M.C. Zhou. 2001. Resource-oriented Petri nets in deadlock avoidance of AGV systems. In Proceedings of 2001 IEEE International Conference on Robotics and Automation, Seoul, Korea, 64-69.
80. Wu, N. Q., and M.C. Zhou. 2002. Deadlock avoidance in semiconductor track systems. In Proceedings of 2002 IEEE International Conference on Robotics and Automation, Washington, DC, 193-98.
81. Wu, N. Q., and M.C. Zhou. 2003. AGV routing for conflict resolution in AGV systems. In Proceedings of 2003 IEEE International Conference on Robotics and Automation, Taipei, Taiwan, 1428-33.
82. Wu, N. Q., and M.C. Zhou. 2004. Modeling and deadlock control of automated guided vehicle systems. IEEE Transactions on Mechatronics 9:50-57.
83. Wu, N. Q., and M.C. Zhou. 2005. Modeling and deadlock avoidance of automated manufac-turing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics B 35:1193-202.
84. Wu, N. Q., and M.C. Zhou. 2007. Deadlock modeling and control of semiconductor track sys-tems using resource-oriented Petri nets. International Journal of Production Research 45:3439-56.
85. Wu, N. Q., and M.C. Zhou. 2007. Deadlock resolution in automated manufacturing systems with robots. IEEE Transactions on Automation Science and Engineering 4:474-80.
86. Wu, N. Q., and M.C. Zhou. 2007. Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets. OR Spectrum 29:421-43.
87. Wu, N. Q., and M.C. Zhou. 2007. Shortest routing of bi-directional automated guided vehicles avoiding deadlock and blocking. IEEE/ASME Transactions on Mechatronics 12:63-72.
88. Wu, N. Q., M. C. Zhou, and G. Hu. 2007. On the Petri net modeling of automated manufac-turing systems. In Proceedings of2007 IEEE International Conference on Networking, Sensing and Control, London, 228-33.
89. Wu, N. Q., M. C. Zhou, and Z.W. Li. 2008. Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on System, Man, and Cybernetics A 38:56-69.
90. Wysk, R. A., N. S. Yang, and S. Joshi. 1991. Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7:853-59.
91. Xie, X., and M.D. Jeng. 1999. ERCN-merged nets and their analysis using siphons. IEEE Transactions on Robotics and Automation 15:692-703.
92. Xing, K. Y., B. S. Hu, and H.X. Chen. 1996. Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control 41:289-95.
93. Xiong, H. H., and M.C. Zhou. 1999. A Petri net method for deadlock-free scheduling of flexible manufacturing systems. International Journal of Intelligent Control and Systems 3:277-95.
94. Yeh, M.-S., and W.-C. Yeh. 1998. Deadlock prediction and avoidance for zone-control AGVS. International Journal of Production Research 36:2879-89.
95. Yim, D.-S., J.-I. Kim, and H.-S. Woo. 1997. Avoidance of deadlocks in flexible manufacturing systems using a capacity-designated directed graph. International Journal of Production Research 35:2459-75.
96. Yoon, H. J., and D.Y. Lee. 2001. Identification of potential deadlock set in semiconductor track systems. In Proceedings of2001 IEEE International Conference on Robotics and Automation, Seoul, Korea, pp. 1820-25.
97. Yoon, H. J., and D.Y. Lee. 2004. Deadlock-free scheduling of photolithography equipment in semiconductor fabrication. IEEE Transactions on Semiconductor Manufacturing 17:42-54.
98. Zeng, L., H.-P. Wang, and S. Jin. 1991. Conflict detection of automated guided vehicles: A Petri net approach. International Journal of Production Research 29:865-79.
99. Zhou, M. C., and F. DiCesare. 1991. Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation 7:515-27.
100. Zhou, M. C., and F. DiCesare. 1993. Petri net synthesis for discrete event control of manufac-turing systems. Boston: Kluwer Academic Publications.
101. Zhou, M., F. DiCesare, and A. Desrochers. 1992. A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation 18:350-61.
102. Zhou, M. C., and M.P. Fanti, ed. 2004. Deadlock resolution in computer-integrated systems. New York: Marcel Dekker.
103. Zhou, M. C., and K. Venkatesh. 1998. Modeling, simulation and control of flexible manufac-turing systems: Petri net approach. Singapore: World Scientific.
104. Zuberek, W. M. 2001. Timed Petri nets in modeling and analysis of cluster tools. IEEE Transactions on Robotics and Automation 17:562-75.