This paper describes a course on modelling and validation of concurrent systems given by the authors at the Department of Computer Science, University of Aarhus. The course uses Coloured Petri Nets (CPNs) as the formal modelling language for concurrency, and exposes students to the benefits and applications of modelling for designing and reasoning about the behaviour of concurrent systems. After the course the participants will have detailed knowledge of CPNs and practical experience with modelling and validation of concurrent systems. The course emphasises the practical use of modelling and validation and has less focus on the formal foundation of CPNs. The course is based on a new textbook on CPNs.