from modelverse import * from random import random username = str(random()) password = str(random()) init() register(username, password) model_add("PetriNets", "SimpleClassDiagrams", open("../models/petrinet_ports.mvc", "r").read()) model_modify("PetriNets") print(element_list()) try: model_list() except InvalidMode: print(types()) print(read("Place"))