Upadhyay, P. D.; Acharya, S.; Dutta, A. Task Petri Nets for Agent Based Computing. INFOCOMP Journal of Computer Science 2013, 12, 24-35.