Towards a multi-agent interactive learning environment oriented to the Petri net domain | IEEE Conference Publication | IEEE Xplore