modelverse/integration/code/pn_design.mvc

SimpleAttribute Natural {}
SimpleAttribute String {}

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