modelverse/integration/code/pn_runtime.mvc

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
}