Skip to Content


Home > Dependable Control of Discrete Systems > 2nd IFAC Workshop on Dependable Control of Discrete Systems (2009) > Application of extended coloured stochastic Petri nets for modelling and analysis of RAMS+C of production systems