Synthesis of supervisors for discrete event systems allowing concurrent behavior | IEEE Conference Publication | IEEE Xplore