Modeling mobile-agent-based collaborative processing in sensor networks using generalized stochastic Petri nets | IEEE Conference Publication | IEEE Xplore