People are discussing this in a security context, but that's not what its about. This article is about modelling and analysis and the 'gothic hotel' model is ju

People are discussing this in a security context, but that's not what its about. This article is about modelling and analysis and the 'gothic hotel' model is just an interesting imaginary situation to try and analyse. And its a very useful example because its a state machine.