Petri Net-Based Cooperation In Multi-Agent Systems | IEEE Conference Publication | IEEE Xplore