Coloured Petri Nets: Modelling and Validation of Concurrent Systems