Cluster tools with chamber revisiting-modeling and analysis using timed Petri nets

Zuberek, W. M. (2004) Cluster tools with chamber revisiting-modeling and analysis using timed Petri nets. IEEE Transactions on Semiconductor Manufacturing, 17 (3). pp. 333-344. ISSN 1558-2345

[img] [English] PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.) - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (256kB)


Timed Petri nets are formal models of discrete concurrent systems. Since the durations of all activities are included in the model descriptions, many performance characteristics can be derived from such models. In the case of cluster tools, net models represent the flow of wafers through the chambers of the tool as well as consecutive actions performed by the robotic transporter. Steady-state performance of cluster tools with chamber revisiting is investigated in this paper. A systematic development of detailed tool schedules, based on a general behavioral description of the tool, is proposed and is used to derive the corresponding Petri net models. Symbolic performance characteristics of the modeled tools are obtained by using place invariants, without exhaustive reachability analysis. Simple examples presented in the paper can be easily extended in many ways.

Item Type: Article
Item ID: 14868
Department(s): Science, Faculty of > Computer Science
Date: August 2004
Date Type: Publication
Digital Object Identifier (DOI):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics