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