Text this: Modelling a mass transportation system via stochastic petri nets