modelverse/models/FiniteStateAutomata/metamodels/FSA_MM.mvc

include "primitives.alh"

SimpleAttribute String {}
SimpleAttribute Boolean {}

Class State {
    name = "State"
    name : String
    initial : Boolean
}

Association Transition (State, State) {
    trigger? : String {}
    raise? : String {}
}