"coloured petri nets" - related articles and key terms