Dianxiang Xu Richard A. Volz Thomas R. Ioerger John Yen Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets. 103-124 2003 13 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S0218194003001184 db/journals/ijseke/ijseke13.html#XuVIY03