Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools | IEEE Conference Publication | IEEE Xplore