Multi-Agent Petri-Games | IEEE Conference Publication | IEEE Xplore