Deckerの相互排除モデル