Modelling large-scale systems via Hybrid Stochastic Petri nets