home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / ai / 4797 < prev    next >
Encoding:
Text File  |  1993-01-08  |  2.0 KB  |  45 lines
  1. Newsgroups: comp.ai
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!ads.com!marcel
  3. From: marcel@ADS.COM (Marcel Schoppers)
  4. Subject: Re: planning with Petri nets
  5. Message-ID: <1993Jan8.234024.24233@ads.com>
  6. Sender: Marcel Schoppers
  7. Organization: Advanced Decision Systems, Mtn. View, CA (415)960-7300
  8. References: <1993Jan07.195703.305577@sue.cc.uregina.ca>
  9. Distribution: na
  10. Date: Fri, 8 Jan 1993 23:40:24 GMT
  11. Lines: 32
  12.  
  13. In article <1993Jan07.195703.305577@sue.cc.uregina.ca>
  14. chenli@mercury.cs.uregina.ca (Lin Chen) writes:
  15. >please tell me who is doing reseach about using Petri net to planning problem,
  16. >such as planning with block world problem.
  17.  
  18. The fellows you are looking for are Dennis Bahler and Mark Drummond.  Here are
  19. some of their papers:
  20.  
  21. BAHLER, D.  Net Based Plan Synthesis.  PhD Dissertation, Dept of Computer
  22.     Science, University of Virginia, Charlottesville (1987).
  23. BAHLER, D.  A net-based approach to the synthesis of nondeterministic robot
  24.     plans.  Proc IEEE Conf on Automation & Robotics (1988), 1856f.
  25. BAHLER, D.  Toward the automated synthesis of nondeterministic plans using
  26.     generalized condition/event nets.  Proc 7th CSCSI Conf (1988), 221ff.
  27. DRUMMOND, M.  Plan Nets: a Formal Representation of Action and Belief for
  28.     Automatic Planning Systems. PhD, Dept of AI, U of Edinburgh (1986). 
  29. DRUMMOND, M.  Refining and extending the procedural net. Proc 9th IJCAI (1985),
  30.     1010ff.
  31. DRUMMOND, M.  Situated control rules.  Proc 1st Internat'l Conf on Principles
  32.     of Knowledge Representation and Reasoning (1989), 103-113.
  33. DRUMMOND, M. AND BRESINA, J.  Anytime synthetic projection: maximizing the
  34.     probability of goal satisfaction.  Proc AAAI Nat'l Conf (1990), 138-144.
  35. DRUMMOND, M. AND BRESINA, J.  Planning for control.  Proc 5th IEEE Internat'l
  36.     Symp on Intelligent Control (1990), 658-662.
  37.  
  38. The following might also be interesting:
  39.  
  40. FERRARINI, L.  An incremental approach to logic controller design with Petri
  41.     Nets.  IEEE Trans SMC 22:3 (1992), 461-473.
  42.  
  43. Marcel
  44.  
  45.