Guidelines for modelling reactive systems with coloured Petri nets - Madalena, Gonçalves (2013)