import models/SimpleClassDiagrams as SimpleClassDiagrams

SimpleClassDiagrams PetriNets_Runtime{
    SimpleAttribute Natural {}
    SimpleAttribute Boolean {}
    SimpleAttribute String {}

    Class Place {
        name : String
        tokens : Natural
    }
    Class Transition {
        name : String
        executing : Boolean
    }
    Association P2T (Place, Transition) {
        weight : Natural
    }
    Association T2P (Transition, Place) {
        weight : Natural
    }
}

export PetriNets_Runtime to models/PetriNets_Runtime