Application of generalized stochastic Petri nets to task allocation in distributed systems | IEEE Conference Publication | IEEE Xplore