Modeling, simulation and optimization of maintenance cost aspects on multi-unit systems by stochastic Petri nets with predicates. - Fernando P. Santos 002; Ângelo Palos Teixeira; Carlos Guedes Soares (Simul., 2019)