import models/PetriNets_Design as PetriNets PetriNets pn { Place p1 { tokens = 1 } Place p2 { tokens = 2 } Place p3 { tokens = 3 } Transition t1 {} P2T (p1, t1) { weight = 1 } P2T (p2, t1) { weight = 1 } T2P (t1, p3) { weight = 2 } } export pn to models/pn