modelverse/integration/code/petrinets.mvc

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