Return to Article Details Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets Download Download PDF