Agent cooperation: a Petri net based model | IEEE Conference Publication | IEEE Xplore