modelverse/models/plant_model.mvc

B C{
    NormalState lt {
        name = "low_top"
        isInitial = False
    }
    NormalState mt {
        name = "medium_top"
        isInitial = False
    }
    NormalState ht {
        name = "high_top"
        isInitial = False
    }
    NormalState lm {
        name = "low_medium"
        isInitial = False
    }
    ErrorState mm {
        name = "medium_medium"
        isInitial = False
    }
    ErrorState hm {
        name = "high_medium"
        isInitial = False
    }
    NormalState lb {
        name = "low_bottom"
        isInitial = False
    }
    NormalState mb {
        name = "medium_bottom"
        isInitial = False
    }
    NormalState hb {
        name = "high_bottom"
        isInitial = True
    }

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

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

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