A symbolic simulation mechanism for well formed coloured Petri nets.