Simulation of complex manufacturing systems via HLA-based infrastructure