Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling of Dual-Armed Cluster Tools | IEEE Journals & Magazine | IEEE Xplore