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