Update ModelPDA