modelverse/integration/code/pn_design.mvc

SimpleAttribute Natural {
    name = "Natural"
}
SimpleAttribute String {
    name = "String"
}

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