Junhua Ding Dianxiang Xu Yi Deng Peter J. Clarke Xudong He Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. 560-565 2005 conf/seke/2005 SEKE db/conf/seke/seke2005.html#DingXDCH05