modelverse/models/query.mvc

include "primitives.alh"
include "object_operations.alh"
include "modelling.alh"

SimpleClassDiagrams Query {
    SimpleAttribute String {}
    SimpleAttribute Natural {}

    Class State {
        name : String
    }
    Class Place {
        name : String
        tokens : Natural
    }
    Association Transition (State, State) {
        name : String
    }
    Association Contains (State, Place) {}
}