Synthesis of supervisors enforcing general linear vector constraints in Petri nets | IEEE Conference Publication | IEEE Xplore