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