home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / ai / 4832 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.6 KB  |  49 lines

  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!newsflash.concordia.ca!cumin.telecom.uqam.ca!CC.UMontreal.CA!IRO.UMontreal.CA!clouso.crim.ca!bond.crim.ca!freedman
  3. From: freedman@crim.ca (Paul Freedman)
  4. Subject: petri nets and planning
  5. Message-ID: <1993Jan12.165125.5202@clouso.crim.ca>
  6. Originator: freedman@bond.crim.ca
  7. Sender: news@clouso.crim.ca
  8. Nntp-Posting-Host: bond.crim.ca
  9. Organization: Centre de Recherche Informatique  de Montreal
  10. Date: Tue, 12 Jan 1993 16:51:25 GMT
  11. Lines: 36
  12.  
  13.  
  14. IMHO, drummond's work has not exploited
  15. the analytical machinery made available by the underlying PN formalism.
  16.  
  17. this article in particular is the most comprehenive that i know of:
  18.  
  19. R. Valette, M. Couvroisier, "Petri Nets and Artificial Intelligence",
  20. Int. Workshop on Emerging Technologies for Factory Automation,
  21. Australia, August 17-19, 1992.
  22.  
  23. (you might try writing to "valette@laas.fr" for more information)
  24.  
  25.  
  26. here are two other articles with a more robotic orientation.
  27. (the first describes how net invariants may be used for planning):
  28.  
  29. D. Zhang, "Planning with Pr/T Nets", 
  30. Proc. IEEE Int. Conf. on Robotics and Automation,
  31. Sacramento, April 1991.
  32.  
  33. D. Zhang, "ROPES: a tool for generating robot plans",
  34. Proc. IECON, 1990.
  35.  
  36.  
  37. there is also some interesting work looking at the relationship between
  38. girard's linear logic and petri nets, again in the context
  39. of planning.
  40. the first article mentioned above refers to this too.
  41. (unfortunately, the other articles i have are written in french)
  42.  
  43. paul freedman
  44. freedman@crim.c
  45.  
  46. CRIM, 3744 rue Jean-Brillant, bureau 500, Montreal Quebec, H3T 1P1 CANADA
  47. tel: (514) 340 5748 / fax: (514) 340 5777
  48.  
  49.