在有限状态机模型中，当且仅当存在一个状态，该状态只有进入的变迁，没有出来的变迁时，可以判定协议存在死锁