Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets - Carlos Alberto Rojas-Gallardo (2019)