Coloured Petri nets to Promela translator