A Behaviour Model for Risk Assessment of Complex Systems Based on HAZOP and Coloured Petri Nets