Stochastic petri nets modeling using spn@

This paper introduces SPN@, a tool for the graphical modeling of intricate dynamics scenarios relevant to safety, reliability, and availability. Implemented in SPN@ is a novel concept of aging tokens, enhancing colored stochastic Petri net formalism, and providing a visual and practical means for assessing complex dynamic scenarios. The examples provided serve to indicate a wide range of practical applications of SPN@, including a classical problem of shared load, repairable system with parallel tasks, and modeling of a system that undergoes both preventive and corrective maintenance with the associated consideration of risk trade offs