Petri Net Solver for Semiconductor Manufacturing Plan | IEEE Conference Publication | IEEE Xplore