Element 'coloured Petri nets'