State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes | Publicación