Assembly and task planning using Petri nets: A survey

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture

Volumn 218, Issue 8, 2004, Pages 987-994

  Rosell, J ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Assembly planning; Petri nets; Task planning

Indexed keywords

BOOLEAN ALGEBRA; CONCURRENCY CONTROL; CONCURRENT ENGINEERING; FITS AND TOLERANCES; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING; PRODUCT DESIGN; REAL TIME SYSTEMS; ROBOTS; SYNCHRONIZATION; TORQUE MEASUREMENT; UNCERTAIN SYSTEMS;

ASSEMBLY PLANNING; RESOURCE SHARING; SYSTEM FLEXIBILITY; TASK PLANNING;

PROGRAM ASSEMBLERS;

EID: 4043164823     PISSN: 09544054     EISSN: None     Source Type: Journal    
DOI: 10.1243/0954405041486019     Document Type: Conference Paper

References (47)

1. Gottschlich, S., Ramos, C. and Lyon, D. Assembly and task planning taxonomy. IEEE Robotics Automn Mag., 1994, 1(3), 4-12.
2. Murata, T. Petri nets: properties, analysis and applications. Proc. IEEE, 1998, 77, 541-380.
3. Silva, M. Introducing Petri nets. In Practice of Petri Nets in Manufacturing, 1993, pp. 1-62 (Chapman and Hall, London).
4. Jensen, K. Coloured Petri nets: a high-level language for system design and analysis. In Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 483, 1991, pp. 44-122 (Springer-Verlag, Berlin).
5. Jensen, K. Predicate/transition nets. In Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 483, 1991, pp. 3-43 (Springer-Verlag, Berlin).
6. Jensen, K. Hierarchies in coloured Petri nets. In Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 483, 1991, pp. 215-246 (Springer-Verlag, Berlin).
7. Buchholz, P. Hierarchical high level Petri nets for complex system analysis. In Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 815, 1994, pp. 119-138 (Springer-Verlag, Berlin).
8. Störrle, H. An evaluation of high-end tools for Petri nets. Technical Report, Institut für Informatik, Universität München, 1998.
9. Debaque, A. C., Freedman, P., Goutal, J. M., Keller, R., Levy, M. and Saba, F. The ECORP approach to Petri net tool evaluation. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, 1994, Vol. 2, pp. 814-820.
10. Jensen, K. Computer tools for coloured Petri nets. In Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1, Monographs in Theoretical Computer Science, 1992 (Springer-Verlag, Berlin).
11. Zussman, E. and Zhou, M. Design and implementation of an adaptive process planner for disassembly processes. IEEE Trans. Robotics Automn, 2000, 16(2), 171-179.
12. Tang, Y., Zhou, M. and Caudill, R. J. An integrated approach to disassembly planning and demanufacturing operation. In Proceedings of the IEEE International Symposium on Electronics and the Environment, 2000, pp. 354-359 (IEEE, New York).
13. Zhang, W. Representation of assembly and automatic robot planning by Petri net. IEEE Trans. Systems, Man Cybernetics, 1998, 19(2), 408-422.
14. Homem de Mello, L.S. and Sanderson, A. C. AND/OR graph representation of assembly plans. IEEE Trans. Robotics Automn, 1990, 6(2), 188-199.
15. Cao, T. and Sanderson, A. C. AND/OR Net representation for robotic task sequence planning. IEEE Trans. Systems, Man Cybernetics, Part C: Applies Rev., 1998, 28(8), 104-218.
16. Suzuki, T., Kanehara, T., Inaba, A. and Okuma, S. On algebraic and graph structural properties of assembly Petri net. In Proceedings of the IEEE International Conference on Robotics and Automation, 1993, pp. 507-510 (IEEE, New York).
17. Cao, T. and Sanderson, A. C. Modelling of sensor-based task plans using fuzzy Petri nets. In Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, 1994, pp. 73-80.
18. Zha, X. An integrated intelligent approach and system for rapid robotic assembly prototyping, planning and control. In Proceedings of the IEEE International Conference on Robotics and Automation, 1999, Vol. I, pp. 108-113 (IEEE, New York).
19. Ramirez-Treviño, A. and Lopez-Mellado, E. Qualitative modeling of assembly tasks in robot cells using coloured nets. In Proceedings of Rensselaer's 2nd International Conference on Computer Integrated Manufacturing, 1990, pp. 475-482.
20. Groppetti, R., Santucci, A. and Senin, N. On the application of coloured Petri nets to computer aided assembly planning. In Proceedings of the IEEE Symposium on Emerging Technologies and Factory Automation, 1994, pp. 381-387 (IEEE, New York).
21. Zussman, E. and Zhou, M. A methodology for modeling and adaptive planning of disassembly processes. IEEE Trans. Robotics Automn, 1999, 15(1), 190-194.
22. Moore, K. E., Gungor, A. and Gupta, S. M. Disassembly Petri net generation in the presence of XOR precedence relationships. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 1998, Vol. 1, pp. 13-18 (IEEE, New York).
23. Kasturia, E., DiCesare, F. and Desrochers, A. Real time control of multilevel manufacturing systems using colored nets. In Proceedings of the IEEE International Conference on Robotics and Automation, 1988, Vol. 2, pp. 1114-1119 (IEEE, New York).
24. Au, Y. M. and Tam, H. Y. Model-based control of flexible assembly systems using colored Petri net. In Proceedings of the IEEE International Conference on Industrial Technology, 1996, pp. 147-151 (IEEE, New York).
25. Borusan, A. Coloured Petri net based modelling of FMS. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 1993, Vol. 1, pp. 54-59 (IEEE, New York).
26. Descotes-Genon, B. Coloured Petri nets: a same tool for modelling, simulation and control of manufacturing systems. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 1994, Vol. 2, pp. 1677-1682 (IEEE, New York).
27. Hsieh, F. S. Reconfigurable fault tolerant deadlock avoidance controller synthesis assembly production processes. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2000, Vol. 4, pp. 3045-3050 (IEEE, New York).
28. Shiu, S. C. K., Tsang, E. C. C., Yeung, D. S. and Lam, M. B. Evaluation of circuit board assembly manufacturing systems using fuzzy colored Petri nets. In Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, 1998, Vol. 2, pp. 1506-1511 (IEEE, New York).
29. Rosell, J., Basañez, L. and Suárez, R. Compliant-motion planning and execution for robotic assembly. In Proceedings of the IEEE International Conference on Robotics and Automation, 1999, pp. 2774-2779 (IEEE, New York).
30. Moseman, H. and Whal, F. M. Automatic decomposition of planned assembly sequences into skill primitives. IEEE Trans. Robotics Automn, 2001, 17(5), 709-718.
31. McCarragher, B. J. Petri net modelling for robotic assembly and trajectory planning. IEEE Trans. Ind. Electron., 1994, 41(6), 631-640.
32. Xiao, J. and Ji, X. A divide and merge approach to automatic generation of contact states and planning of contact motion. In Proceedings of the IEEE International Conference on Robotics and Automation, 2000, pp. 750-756 (IEEE, New York).
33. Rosell, J. Local contact state space generation using colored Petri nets. In Proceedings of the 6th IEEE International Workshop on Discrete Event Systems, 2002, pp. 143-148 (IEEE, New York).
34. Simon, D., Castaneda, E. C. and Freedman, P. Design and analysis of synchronization for real-time closed-loop control in robotics. IEEE Trans. Control Systems Technol., 1998, 6(4), 445-461.
35. Suh, I. H., Kim, J. H., Ryoo, J. S., Lee, C. W. and Lee, B. H. Design of a supervisory control system for multiple robotic systems. In Proceedings of the IEEE-RSJ International Conference on Intelligent Robots and Systems, 1996, pp. 332-339 (IEEE, New York).
36. Lyons, D. M. and Arbib, M. A. A formal model of computation for sensor-based robotics. IEEE Trans. Robotics Automn, 1989, 2(3), 280-293.
37. Montano, L., Garcia, F. J. and Villarroel, J. L. Using the time Petri net formalism for specification, validation, and code generation in robot-control applications. Int. J. Robotics Res., 1996, 19, 59-76.
38. Mortensen, K. Automatic code generation from coloured Petri nets for an access control system. In Proceedings of the CPN Workshop, 1999, Technical Report PB-541.
39. Ullman, D. Elements of ML Programming, 1993 (Prentice-Hall, Englewood Cliffs, New Jersey).
40. Feldmann, K., Colombo, A. W., Schnur, C. and Stockel, T. Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I: specification and design. IEEE Trans. Control Systems Technol., 1999, 7(6), 657-665.
41. Feldmann, K., Colombo, A. W., Schnur, C. and Stockel, T. Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II: design and implementation. IEEE Trans. Control Systems Technol., 1999, 7(6), 666-674.
42. Moody, J. O. and Antsaklis, P. J. Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans. Autom. Control, 2000, 45(3), 462-476.
43. Guéré, E. and Alami, R. Let's reduce the gap between task planning and motion planning. In Proceedings of the IEEE International Conference on Robotics and Automation, 2001, pp. 15-20 (IEEE, New York).
44. Song, M., Tarn, T.-J. and Xi, N. Integration of task scheduling, action planning, and control in robotic manufacturing systems. Proc. IEEE, 2000, 88(7), 1097-1107.
45. Cao, T. and Sanderson, A. C. Task decomposition and analysis of robotic assembly tasks plans using Petri nets. IEEE Trans. Ind. Electron., 1994, 41(6), 620-630.
46. Thomas, J. P., Nissanke, N. and Baker, K. D. A hierarchical Petri net framework for the representation and analysis of assembly. IEEE Trans. Robotics Automn, 1996, 12(2), 268-279.
47. Zhou, M. and DiCesare, F. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, 1993 (Kluwer, Dordrecht).