Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets