SPA for performance modelling

• Can describe any concurrent system of interacting processes in object-oriented style

• Equivalent (at least) to simulation in expressive power

• Markovian SPA facilitates analytical solutions

• Compositional

Previous slide

Next slide

Back to first slide

View graphic version