modelverse/integration/code/pn_design.mvc

import models/SimpleClassDiagrams as SimpleClassDiagrams

SimpleClassDiagrams PetriNets_Design{
    Class Natural {}

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

export PetriNets_Design to models/PetriNets_Design