Upadhyay, P.D., Acharya, S. and Dutta, A. 2013. Task Petri Nets for Agent Based Computing. INFOCOMP Journal of Computer Science. 12, 1 (Jun. 2013), 24–35.