Efficient automatic simulation of parallel computation on networks of workstations