Modeling, simulation and optimization of maintenance cost aspects on multi-unit systems by stochastic Petri nets with predicates.