Timed Petri net models of multi-robot cluster tools

Abstract

A systematic approach to modeling the stationary behavior of cluster tools by timed Petri nets is presented. The performance of the derived models is evaluated by structural methods (place invariants), without the exhaustive generation of the state space. Multiple robots are introduced to reduce the limitations of "transport bound" tools. Simple examples are provided to illustrate the proposed approach.