Assembly/disassembly task planning and simulation using expert Petri nets

International Journal of Production Research

Volumn 38, Issue 15, 2000, Pages 3639-3676

  Zha, X F ^a   Lim, S Y E ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; ASSEMBLY; COMPUTER SIMULATION; CONSTRAINT THEORY; COSTS; ERROR ANALYSIS; FACTORY AUTOMATION; PETRI NETS; PRODUCT DESIGN; PRODUCTION CONTROL;

MANUFACTURING COSTS;

PRODUCTION ENGINEERING;

EID: 0034668366     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/002075400422833     Document Type: Article

References (60)

1. Alanche, P., et al., 1984, PSI: A Petri net based simulator for flexible manufacturing systems. In Advances in Petri Net 1984, Lecture Notes in Computer Science, Vol. 188, edited by G. Rozenberg, (New York: Springer-Verlag), pp. 1-14.
2. Alla, H., Ladet, P., Martinez, J. and Silva Suarez, M., 1984, Modeling and validation of complex systems by colored Petri nets application to a flexible manufacturing system. In Advances in Petri Net 1984, Lecture Notes in Computer Science, Vol. 188, edited by G. Rozenberg, (New York: Springer-Verlag), pp. 15-31.
3. Baldwin, D.F., 1990, Algorithmic methods and software tools for the generation of mechanical assembly sequences. Master's thesis, Massachusetts Institute of Technology, USA.
4. Baldwin, D.F., Abell, T.E., Lui, C.M., De Fazio, T.L. and Whitney, D.E., 1991, An integrated computer aid for generation and evaluation assembly sequences for mechanical products. IEEE Transactions on Robotics and Automation, 7, 78-94.
5. Belhe, U. and Kusiak, A., 1993, Performance analysis of design process using timed Petri nets. Concurrent Engineering: Research and Applications, 1, 147-152.
6. Ben-Arieh, D. and Kramer, B., 1994, Computer-aided process planning for assembly: Generation of assembly operation sequences. International Journal of Production Research, 32, 643-656.
7. Bourjault, A., 1984, Contribution a une approache methodologique de l'Assemblage automatise: Elaboration automatique des sequences operatioires. These d'Etat, Universite de Franche-Comte, Besancon, France.
8. Cao, T.H. and Sanderson, A.C., 1995, Task sequence planning using fuzzy Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, 25, 755-768.
9. Cao, T.H. and Sanderson, A.C., 1996, Intelligent Task Planning using Fuzzy Petri Nets, Intelligent Control and Intelligent Automation, Vol. 3 (Singapore: World Scientific).
10. Cecil, J.A., Srihari, A. and Emerson, C.R., 1992, A review of Petri net applications in manufacturing. International Journal of Advanced Manufacturing Technology, 7, 168-177.
11. Choi, C.K., Zha, X.F., Ng, T.L. and Lau, W.S., 1998, On the generation of product assembly sequences. International Journal of Production Research, 36, 617-633.
12. De Faxio, T.L. and Whitney, D.E., 1987, Simplified generation of all mechanical assembly sequences. IEEE Journal of Robotics and Automation, RA-3(6), 640-658.
13. Delchambre, A., 1992, Computer-aided Assembly Planning (London: Chapman & Hall).
14. Genrich, H.J. and Lautenbach, K., 1981, Systems modelling with high-level Petri nets. Theoretical Computer Sciences, 13, 109-136.
15. Genrich, H.J., 1987, Predicate/Transition Nets, Lecture Notes in Computer Science, No.254 (New York: Springer-Verlag), pp. 207-247.
16. Gottschlich, S., Ramos, C. and Lyons, D., 1993, Assembly and task planning: A taxonomy and annotated bibliography. IEEE Assembly and Task Planning Technical Committee.
17. Hoffman, R.L., 1991, A Common sense approach to assembly sequence planning, In Computer-Aided Mechanical Assembly Planning, edited by L.S. Homem de Mello and S. Lee (Boston, MA: Kluwer Academic Publishers), pp. 289-314.
18. Homem De Mello, L.S., 1989, Task sequence planning for robotic assembly. PhD thesis, Carnegie Mellon University, USA.
19. Homen De Mello, L.S. and Sanderson, A.C., 1990, AND/OR graph representation of assembly plans. IEEE Transactions on Robotics and Automation, 6, 188-199.
20. Homen De Mello, L.S. and Sanderson, A.C., 1991a, A correct and complete algorithm for the generation of mechanical assembly sequences. IEEE Transactions on Robotics and Automation, 7, 228-240.
21. Homen De Mello, L.S. and Sanderson, A.C., 1991b, Representation of mechanical assembly sequences. IEEE Transactions on Robotics and Automation, 7, 211-227.
22. Jensen, K., 1992, Colored Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Vol. 1 (New York: Springer-Verlag).
23. Latombe, J.C., 1991, Robot Motion Planning (Boston, MA: Kluwer Academic Publishers).
24. Lee, K.H. and Favrel, J., 1985, Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, 15, 272-280.
25. Lee, S. and Shin, Y.G., 1990, Assembly planning based on geometric reasoning. Computation and Graphics, 14, 237-250.
26. Liebermann, L.I. and Wesley, M.A., 1977, Autopass: An automatic programming system for computer controlled mechanical assembly. IBM Journal of Research and Development, 21, 321-333.
27. Lozano-P'erez, T., 1983, The design of a mechanical assembly system. Technical Report AI-TR 397, AI Lab. (Cambridge, MA: MIT Press).
28. Martinez, J. and Silva, M., 1981, A simple and fast algorithm to obtain all in-variants of a generalized Petri net. 2nd European Workshop on Application and Theory of Petri Nets (New York: Springer-Verlag).
29. Merabet, A.A., 1986, Synchronization of operations in a flexible manufacturing cell: A Petri net approach. Journal of Manufacturing Systems, 5, 161-170.
30. 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, 161-170.
31. Muro-Medrano, P.R., Ezpeleta, J. and Villarrod, J.L., 1992, A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. Robotics and Flexible Manufacturing Systems, edited by J.C. Gentina and S.G. Tzafestas (Dordrecht: Elsevier Science/North-Holland), pp. 349-358.
32. Nilsson, N.J., 1980, Principles of Artificial Intelligence (Los Altos, CA: McGraw-Hill).
33. PDC, 1996, Visual Prolog 4.0, Reference Manual 1-4, Prolog Development Center A/S, Denmark.
34. Peterka, G. and Murata, T., 1989, Proof procedure and answer extraction in Petri net model of logic programs. IEEE Trans. on Software Engineering, 15, 209-217.
35. Peterson, J.L., 1981, Petri Nets, Theory and the Modeling of Systems (Englewood Cliffs, NJ: Prentice-Hall).
36. Ramamoorthy, C.V. and Ho, G.S., 1980, Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE Transactions on Software Engineering, SE-6, 440-449.
37. Ravichandran, R. and Chakravarty, A.K., 1986, Decision support in flexible manufacturing systems using timed Petri net. Journal of Manufacturing Systems, 5, 89-102.
38. Romney, B., Godard, C., Goldwasser, M. and Ramkumar, G., 1995, An efficient system for geometric assembly sequence generation and evaluation. Proceedings of the 1995 ASME International Computers in Engineering Conference, pp. 699-712.
39. Suzuki, T., Kanehara, T., Inaba, A. and Okuma, S., 1992, On algebraic and graph structural properties of assembly Petri nets-searching by linear programming. IEEE/RSJ International Conference on Intelligent Robots and Systems, Raleigh, NC, pp. 2116-2121.
40. Suzuki, T., Kanehara, T., Inaba, A. and Okuma, S., 1993, On algebraic and graph structural properties of assembly Petri nets. IEEE International Conference on Robotics and Automation (Piscataway, NJ: IEEE), pp. 507-514.
41. Taylor, R.H., 1976, Synthesis of manipulator control programs from task-level specifications. PhD thesis, Department of Computer Science, Stanford University, USA.
42. Thomas, J.P., Nissanke, N. and Baker, K.D., 1996, A hierarchical Petri net framework for the representation and analysis of assembly. IEEE Transactions on Robotics and Automation, 12, 268-279.
43. Tonshoff, H.K., Beckendorff, U. and Schaele, M., 1988, Some approaches to represent the interdependence of process planning and process control. Proceedings of 19th CIRP International Seminar on Manufacturing Systems, State College, PA (Piscataway, NJ: IEEE), pp. 165-170.
44. Viswanadham, N. and Narahari, Y., 1987, Colored Petri net models for automated manufacturing systems. Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, NC (Piscataway, NJ: IEEE), pp. 1985-1990.
45. Wilson, R.H., 1992, On geometric assembly planning. PhD thesis, Department of Computer Science, Stanford University, USA.
46. Wilson, R.H. and Rit, J.E, 1991, Maintaining geometric dependencies in an assembly planning. In Computer-Aided Mechanical Assembly Planning, edited by L.S. Homem de Mello and S. Lee (Boston, MA: Kluwer Academic Publishers), pp. 217-241.
47. Wolter, J.D., 1988, On the automatic generation of plans for mechanical assembly. PhD thesis, The University of Michigan, USA.
48. Zha, 1997, Intelligent design and assembly planning. Research Report, School of Mechanical and Production Engineering, Nanyang Technological University, Singapore.
49. Zha, X.F., 1999a, Knowledge intensive methodology for intelligent design and planning of assemblies. PhD thesis, Nanyang Technological University, Singapore.
50. Zha, X.F., 1999b, An integrated intelligent approach and system for rapid assembly proto-typing, planning and control. Proceedings of the 1999 IEEE International Conference on Robotics and Automation, Detroit, MI, Vol. 1, pp. 108-113.
51. Zha, X.F., Lim, S.Y.E. and Fok, S.C., 1997, Concurrent intelligent design and assembly planning: Object-oriented intelligent Petri nets approach. Proceedings of the 1997 IEEE International Conference on Systems, Man and Cybernetics, Orlando, USA (Piscataway, NJ: IEEE), pp. 3930-3935.
52. Zha, X.F., Lim, S.Y.E. and Fok, S.C., 1998a, Integrated knowledge based Petri net intelligent flexible assembly planning and simulation. Journal of Intelligent Manufacturing, 9, 235-250.
53. Zha, X.F., Lim, S.Y.E. and Fok, S.C., 1998b, Integrated knowledge based assembly sequence planning. International Journal of Advanced Manufacturing Technology, 14, 50-64.
54. Zhang, D., 1991, Planning with Pr/T nets. Proceedings of IEEE International Conference on Robotics and Automation, Sacramento, CA (Piscataway, NJ: IEEE), pp. 769-775.
55. Zhang, W.J., Bi, Z.M., Li, Q. and Zha, X.F., 2000, A generic Petri net model for flexible manufacturing system and its use for FMS control software testing. International Journal of Production Research, 38, 1109-1131.
56. Zhang, W.X., 1989, Representation of assembly and automatic robot planning by Petri net. IEEE Transactions on Systems, Man, and Cybernetics, 29, 418-422.
57. Zhou, M.C., Dicesare, F. and Desrochers, A.A., 1992, A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation, 8, 350-361.
58. Zhou, M.C., Mcdermott, K. and Patel, P.A., 1993, Petri nets synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on Systems, Man and Cybernetics, 23, 523-531.
59. Zurawski, R. and Dillon, S.T., 1993, Modeling and Verification of FMS using Petri Nets. Modern Tools for Manufacturing Systems (Amsterdam: Elsevier), pp. 237-161.
60. Zussman, E. and Zhou, M.C., 1999, A methodology for modelling and adaptive planning of disassembly processes. IEEE Transactions on Robotics and Automation, 15, 190-194.