A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems