Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools. - Izuru Matsumoto; Tatsushi Nishi (CASE, 2012)

Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling of Dual-Armed Cluster Tools. - Tatsushi Nishi; Izuru Matsumoto (IEEE Trans Autom. Sci. Eng., 2015)