modelverse/integration/code/petrinets.mvc

SimpleAttribute Natural {}

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