Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model