Modeling Fault Tolerated Mobile Agents by Colored Petri Nets. - Shao-zhen Zhang; Zuo-hua Ding; Jueliang Hu (ICIC (3), 2015)