Abstract
A deterministic and stochastic Petri net (DSPN) model for an automated manufacturing system in which tools are subject to wear and maintenance is presented. The DSPN takes into account the degradable performance of tools due to wear and the deterministic service times of parts. The service requirements of parts at tools dependent on their wear are represented in the DSPN by deterministic transitions with marking-dependent firing delays. The DSPN is employed for an integrated performance/dependability evaluation of the considered automated manufacturing system.<>