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