modelverse/integration/code/my_petrinet_with_MM.mvc

import models/SimpleClassDiagrams as SCD
include "primitives.alh"

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

PetriNets my_petrinet {
    Place p1 {
        tokens = 1
    }
    Place p2 {
        tokens = 3
    }
    Transition t1 {}
    P2T (p1, t1) {
        weight = 1
    }
    T2P (t1, p2) {
        weight = 2
    }
}

export my_petrinet to models/my_petrinet