Text this: Performance analysis of communication systems with non-markovian stochastic petri nets