Getting started with coloured Petri nets