Coloured petri nets : modelling and validation of concurrent systems (2009)