Supervisor synthesis for bounded Petri nets based on a transformation function | IEEE Conference Publication | IEEE Xplore