PW_Plant/NormalState lt {
    name = "low_top"
    isInitial = False
}
PW_Plant/NormalState mt {
    name = "medium_top"
    isInitial = False
}
PW_Plant/NormalState ht {
    name = "high_top"
    isInitial = False
}
PW_Plant/NormalState lm {
    name = "low_mid"
    isInitial = False
}
PW_Plant/ErrorState mm {
    name = "medium_mid"
    isInitial = False
}
PW_Plant/ErrorState hm {
    name = "high_mid"
    isInitial = False
}
PW_Plant/NormalState lb {
    name = "low_bottom"
    isInitial = False
}
PW_Plant/NormalState mb {
    name = "medium_bottom"
    isInitial = False
}
PW_Plant/NormalState hb {
    name = "high_bottom"
    isInitial = True
}

PW_Plant/OnUp (hb, mb) {
    objPresent = "*"
}
PW_Plant/OnUp (mb, lb) {
    objPresent = "*"
}
PW_Plant/OnUp (lb, lm) {
    objPresent = "*"
}
PW_Plant/OnUp (lm, lt) {
    objPresent = "N"
}
PW_Plant/OnUp (lm, mm) {
    objPresent = "Y"
}
PW_Plant/OnUp (mm, hm) {
    objPresent = "Y"
}
PW_Plant/OnUp (lt, mt) {
    objPresent = "*"
}
PW_Plant/OnUp (mt, ht) {
    objPresent = "*"
}

PW_Plant/OnDown (ht, mt) {
    objPresent = "*"
}
PW_Plant/OnDown (mt, lt) {
    objPresent = "*"
}
PW_Plant/OnDown (lt, lm) {
    objPresent = "*"
}
PW_Plant/OnDown (hm, mm) {
    objPresent = "*"
}
PW_Plant/OnDown (mm, lm) {
    objPresent = "*"
}
PW_Plant/OnDown (lm, lb) {
    objPresent = "*"
}
PW_Plant/OnDown (lb, mb) {
    objPresent = "*"
}
PW_Plant/OnDown (mb, hb) {
    objPresent = "*"
}

PW_Plant/OnNeutral (hb, mb) {
    objPresent = "*"
}
PW_Plant/OnNeutral (mb, lb) {
    objPresent = "*"
}
PW_Plant/OnNeutral (mm, lm) {
    objPresent = "*"
}
PW_Plant/OnNeutral (hm, mm) {
    objPresent = "*"
}
PW_Plant/OnNeutral (ht, mt) {
    objPresent = "*"
}
PW_Plant/OnNeutral (mt, lt) {
    objPresent = "*"
}
