modelverse/models/plant_model.mvc

B C{
    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_medium"
        isInitial = False
    }
    PW_Plant/ErrorState mm {
        name = "medium_medium"
        isInitial = False
    }
    PW_Plant/ErrorState hm {
        name = "high_medium"
        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 = "*"
    }
}