B C{
    PW_Plant/NormalState lm {
        name = "low_medium"
        isInitial = True
    }
    PW_Plant/ErrorState mm {
        name = "medium_medium"
        isInitial = False
    }
    PW_Plant/ErrorState hm {
        name = "high_medium"
        isInitial = False
    }

    PW_Plant/OnUp (lm, mm) {
        objPresent = "Y"
    }
    PW_Plant/OnUp (mm, hm) {
        objPresent = "Y"
    }

    PW_Plant/OnDown (hm, mm) {
        objPresent = "*"
    }
    PW_Plant/OnDown (mm, lm) {
        objPresent = "*"
    }

    PW_Plant/OnNeutral (mm, lm) {
        objPresent = "*"
    }
    PW_Plant/OnNeutral (hm, mm) {
        objPresent = "*"
    }
}