Text this: Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets