Supervisor synthesis for a class of forbidden state problems in Petri nets | IEEE Conference Publication | IEEE Xplore