CPN model for a Hierarchical Fault Tolerance Protocol for Mobile Agent systems | IEEE Conference Publication | IEEE Xplore