Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach