AND/OR Net Representation for Robotic Task Sequence Planning

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 28, Issue 2, 1998, Pages 204-218

  Cao, Tiehua ^b   Sanderson, Arthur C ^a,c  

^a IEEE

^b MOTOROLA INC   (United States)

^c RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; CONSTRAINT THEORY; DISCRETE TIME CONTROL SYSTEMS; LOGIC PROGRAMMING; PETRI NETS;

GEOMETRIC REASONING; ROBOTIC TASK SEQUENCE PLANNING;

ROBOT PROGRAMMING;

EID: 0032070371     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/5326.669552     Document Type: Article

References (34)

1. R. Y. Al-Jaar and A. Desrochers, "Pétri nets in automation and manufacturing," in Advances in Automation and Robotics, G. N. Saridis, Ed. Greenwich, CT: JAI, 1991, vol. 2, pp. 153-218.
2. A. Camurri and P. Franchi, "An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level petri nets," in Proc. IEEE Int. Conf. Robot. Automat., Cincinnati, OH, 1990, pp. 520-525.
3. T. Cao and A. C. Sanderson, Intelligent Task Planning Using Fuzzy Petri Nets. Singapore: World Scientific, 1996.
4. J. M. Colom, J. Martinez, and M. Silva, "Packages for validating discrete production systems modeled with Petri nets," in Applied Modeling and Simulation of Technological Syst., P. Borne and S. G. Tzafestas, Eds. Amsterdam, The Netherlands: North-Holland, 1987, pp. 529-536.
5. F. Commoner, "Deadlocks in Petri nets," Applied Data Res., Inc., Wakefield, MA, Rep. CA-7206-2311, 1972.
6. G. Dakin et al., "A multilevel assembly planning system," in Proc. ASME Dynamic Syst. Cont., 1994, vol. 1, pp. 249-254.
7. T. L. DeFazio and D. E. Whitney, "Simplified generation of all me-chanical assembly sequences," IEEE J. Robot. Automat., vol. RA-3, pp. 640-658, Dec. 1987.
8. E. W. Dijkstra, "A note on two problems in connection with graphs," Numerische Mathematik, vol. 1, pp. 269-271, Apr. 1959.
9. R. Fikes and N. Nilsson, "STRIPS: A new approach to the application of theorem proving to problem solving," Artif. Intell. vol. 2, pp. 189-208, Mar. 1971.
10. R. Fikes, P. Hart, and N. Nilsson, "Learning and executing generalized robot plans," in Readings in Artificial Intelligence, N. Nilsson and B. Webber, Eds. Palo Alto, CA: Tioga, 1981, pp. 231-249.
11. L. S. Homem de Mello and A. C. Sanderson, "An AND/OR graph representation of assembly plans," in Proc. AAAI-86 5th Nat. Conf. Artificial Intell., pp. 1113-1119.
12. "AND/OR graph representation of assembly plans," IEEE Trans. Robot. Automat., vol. 6, pp. 188-199, Apr. 1990.
13. "Representation of mechanical assembly sequences," IEEE Trans. Robot. Automat., vol. 7, pp. 211-227, Apr. 1991.
14. "A correct and complete algorithm for the generation of mechanical assembly sequences," IEEE Trans. Robot. Automat., vol. 7, pp. 228-240, Apr. 1991.
15. "Two criteria for the selection of assembly plans: Maximizing the flexibility of sequencing the assembly tasks and minimizing the assembly time through parallel execution of assembly tasks," IEEE Trans. Robot. Automat., vol. 7, pp. 626-633, Oct. 1991.
16. M. Jantzen, "Structured representation of knowledge by Petri nets as an aid for teaching and research," Net Theory and Applications (Lecture Notes in Computer Science 84). Berlin, Germany: Springer-Verlag, 1980, pp. 507-516.
17. B. H. Krogh, "Controlled Petri nets and maximally permissive feedback logic," in Proc. 25 Allerton Conf. Commun., Contr., Comput., Oct. 1987, pp. 317-326.
18. K. Lautenbach, "Liveness in Petri nets," St. Augustin, Gesellschaft fur Mathematik und Datenverarbeitung Bonn, Bonn, Germany, Interner Bericht ISF-75-02.1, 1975.
19. Y. Liu and R. Popplestone, "A group theoretical formalization of surface contact," Int. J. Robot. Res., June 1994.
20. M. Ajmone Marson, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems," ACM Trans. Comput. Syst., vol. 2, May 1984.
21. M. Ajmone Marson, G. Balbo, G. Chiola, and G. Conte, "Generalized stochastic Petri nets revisited: Random switches and priorities," in Proc. Int. Workshop Petri Nets Performance Models. Madison, WI: IEEE Comput. Soc., Aug. 1987.
22. W. van Meile, "A domain-independent production-rule system for consultation programs," in Proc. IJ CAI-79, Tokyo, Japan, pp. 923-925.
23. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
24. N. J. Nilsson, Principles of Artificial Intelligence. Los Altos, CA: Morgan Kaufman, 1980.
25. J. L. Peterson, "Petri nets," Comput. Surv., vol. 9, pp. 223-252, Sept. 1977.
26. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
27. C. A. Petri, "Kommunikation mit automaten," Ph.D. dissertation, Univ. Bonn, Bonn, Germany, 1962, in German.
28. E. Sacerdoti, A Structure for Plans and Behavior. New York: North-Holland, 1977.
29. R. Valette, M. Courvoisier, H. Demmou, J. M. Bigou, and C. Desclaux, "Putting Petri net to work for controlling flexible manufacturing systems," in Proc. Int. Symp. Circuits Syst., Kyoto, Japan, 1985, pp. 929-932.
30. D. Viswanadham and Y. Narahari, "Colored Petri net models for automated manufacturing systems," in Proc. IEEE Int. Conf. Robot. Automat., Raleigh, NC, 1987, pp. 1985-1990.
31. D. E. Wilkins, "Domain-independent planning: Representation and plan generation," Artif. Intell, vol. 22, pp. 269-301, 1984.
32. R. Wilson, "On geometric assembly planning," Ph.D. dissertation, Stanford Univ., Stanford, CA, Mar. 1992.
33. J. D. Woher, "On the automatic generation of assembly plans," in Proc. IEEE Int. Conf. Robot. Automat., 1989, pp. 62-68.
34. W. Zhang, "Representation of assembly and automatic robot planning by Petri net," IEEE Trans. Syst., Man, Cybern., vol. 19, pp. 418-122, Feb. 1989.