modelverse/integration/code/pn_design_model.mvc

import models/PetriNets_Design as PetriNets

PetriNets pn {
    Place p1 {
        tokens = 1
        name = "p1"
    }
    Place p2 {
        tokens = 2
        name = "p2"
    }
    Place p3 {
        tokens = 3
        name = "p3"
    }
    Transition t1 {}
    P2T (p1, t1) {
        weight = 1
    }
    P2T (p2, t1) {
        weight = 1
    }
    T2P (t1, p3) {
        weight = 2
    }
}

export pn to models/pn