单个状态在转移网络中具有唯一性;所有状态应有进有出;一个事件只能对应一个合法转移;有多少个转移箭头，就有多少个对应事件