Modeling and Analyzing Multi-agent Task Plans for Intelligent Virtual Training System using Petri Nets
暂无分享,去创建一个
Tao Mei | Lei Sun | Yining Sun | Linqin Cai | Zuchang Ma
[1] Humbert Fiorino,et al. Agent cooperation: a Petri net based model , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
[2] Hyggo Oliveira de Almeida,et al. A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets , 2004, SELMAS.
[3] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[4] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[5] Amal El Fallah Seghrouchni,et al. A Recursive Model for Distributed Planning , 1996 .
[6] John Yen,et al. Modeling and verifying multi-agent behaviors using predicate/transition nets , 2002, SEKE '02.
[7] David Harel,et al. Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..
[8] John Yen,et al. A knowledge-based approach for designing intelligent team training systems , 2000, AGENTS '00.
[9] Mitchell M. Tseng,et al. An agent-based approach to developing intelligent virtual reality-based training systems , 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.
[10] Danny Weyns,et al. A colored Petri-net for a multi-agent application , 2002 .