modelverse/wrappers/test_modelverse.py

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"))