Modeling and verifying multi-agent behaviors using predicate/transition nets

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 193-200

  Xu, Dianxiang ^a   Volz, Richard ^a   Ioerger, Thomas ^a   Yen, John ^b  

^a TEXAS A AND M UNIVERSITY   (United States)

^b PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

formal methods; multiagent systems; petri nets; predicate transition nets; verification

Indexed keywords

BASIC ACTIONS; COMPACT STRUCTURES; CRITICAL PROBLEMS; DEPENDENCY RELATION; FORMAL APPROACH; MULTI-AGENT; MULTI-AGENT MODEL; MULTIAGENT PLANS; PARALLEL ACTIONS; PLANNING GRAPHS; PREDICATE/TRANSITION NET; PREDICATE/TRANSITION NETS; REACHABILITY ANALYSIS;

COMPUTER SOFTWARE; FORMAL METHODS; GRAPH THEORY; KNOWLEDGE ENGINEERING; PETRI NETS;

MULTI AGENT SYSTEMS;

EID: 77953729901     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568794     Document Type: Conference Paper

References (20)

1. D. Kinny, M. Ljungberg, A. S. Rao, E. A. Sonenberg, G. Tidhar, and E. Werner, "Planned Team Activity," Proceedings of the fourth European Workshop on Modeling Autonomous Agents in a Multi-Agent World (MAAMAW'92), 1992.
2. J. Yen, J. Yin, T. R. Ioerger, M. S. Miller, D. Xu, and R. A. Volz, "CAST: Collaborative Agents for Simulating Teamwork," Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'2001), Seattle, WA, 2001.
3. B. Grosz and S. Kraus, "Collaborative Plans for Complex Group Actions," Artificial Intelligence, vol. 86, pp. 269-357, 1996.
4. M. J. Katz and J. S. Rosenschein, "Plans for Multiple Agents," in Distributed Artificial Intelligence, vol. II, L. Gasser and M. N. Huhns, Eds. London: Pitman/Morgan Kaufmann Publishers, 1989, pp. 197-228.
5. Blum and M. L. Furst, "Fast Planning through Planning Graph Analysis," Artificial Intelligence, vol. 90, pp. 281-300, 1997.
6. H. J. Genrich, "Predicate/Transitions Nets," in In Petri Nets: Central Models and Their Properties: Advances in Petri Nets, vol. 254, Lecture Notes in Computer Science: Springer-Verlag, 1987, pp. 207-247.
7. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings of the Institute of Electrical and Electronics Engineers, vol. 77, pp. 541-580, 1989.
8. P. R. Cohen and H. J. Levesque, "Intention Is Choice With Commitment," Artificial Intelligence, vol. 42, pp. 213-261, 1990.
9. Y. Shoham, "Agent-Oriented Programming," Artificial Intelligence, vol. 60, pp. 51-92, 1993.
10. M. Wooldridge and P. Ciancarini, "Agent-Oriented Software Engineering: The State of the Art," in Handbook of Software Engineering and Knowledge Engineering: World Scientific Publishing Co., 2001.
11. J. Y. Halpern and M. Y. Vardi, "Modeling Checking vs. Theorem Proving: A Manifesto," Proceedings of KR-91.
12. Also in Lifshitz V. Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy, San Diego, 1991.
13. J. Wing, "A Specifier's Introduction to Formal Methods," Computer, pp. 8-24, 1990.
14. D. Moldt and F. Wienberg, "Multi-Agent-Systems Based on Colored Petri Nets," Proceedings of the18th International Conference ICATPN'97, Toulouse, France, 1997.
15. H. Xu and S. M. Shatz, "A Framework for Modeling Agent-Oriented Software," Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS), Phoenix, Arizona, 2001.
16. D. Friha, D. Buchs, and P. Berry, "Multi-Agent System Specification using CO-OPN," University of Geneva, Technical Report CUI No. TR-93/80 Oct. 1991 1991.
17. T. Murata, P. C. Nelson, and J. Yim, "Predicate-Transition Net Model for Multiple Agent Planning," Information Science, vol. 57/58, pp. 361-384, 1991.
18. M. Lindqvist, "Parameterized Reachability Trees for Predicate/Transition Nets," Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, Paris, 1990.
19. G. S. T. a. M. J. Flynn, "Detection and Parallel Execution of Independent Instructions," IEEE Transactions Software Engineering, vol. C-19, pp. 889-895, 1970.
20. C. Knoblock, "Generating Parallel Exectuion Plans with a Partial-Order Planner," Proceedings of Artificial Intelligence Planning and Scheduling 1994, Chicago, 1994.