Multi-agent systems: a Petri net with objects based approach | IEEE Conference Publication | IEEE Xplore