Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed Petri nets | IEEE Conference Publication | IEEE Xplore