The Optimization of the Profit of a Parallel System with Independent Components and Linear Repairing Cost

TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems