显式状态迁移模型

- * - 互斥协议：卫式迁移模型 - 初始状态： - 迁移集合： - *