A Methodology Based on EMPA for Modeling and Simulating Concurrent Systems

An integrated approach for modeling and analyzing functional and performance properties of concurrent systems has been proposed in [BDG1995]. The approach is based on the stochastic process algebra EMPA and the class of generalized stochastic Petri nets. In this paper we assess the suitability of the approach, and in particular of EMPA, for simulation purposes. The result is that EMPA turns out to be adequate both from the modeling point of view due to its compositionality and its expressive power, and from the simulative analysis point of view since its semantics has been defined in the operational style