["import_node", "models/SimpleClassDiagrams", "SCD", "instantiate_model", "SCD", "PetriNets", "define_inheritance", "PetriNets", "Inheritance", "instantiate_node", "PetriNets", "Class", "Natural", "add_constraint", "PetriNets", "Natural", "funcdef", "constraint", 2, "0", "1", "declare", "2", true, "assign", "resolve", "2", "call", "access", "resolve", "dict_read", 2, "call", "access", "resolve", "dict_read", 2, "access", "resolve", "0", "const", "model", false, "access", "resolve", "1", false, true, "if", "call", "access", "resolve", "bool_not", 1, "call", "access", "resolve", "is_physical_int", 1, "access", "resolve", "2", false, false, "return", true, "const", "Natural has no integer value", true, "if", "call", "access", "resolve", "integer_lt", 2, "access", "resolve", "2", "const", 0, false, "return", true, "const", "Natural does not have a positive or zero value", true, "return", true, "const", "OK", false, false, false, "instantiate_node", "PetriNets", "Class", "Place", "instantiate_link", "PetriNets", "Association", "Place_tokens", "Place", "Natural", "instantiate_attribute", "PetriNets", "Place_tokens", "name", "tokens", "instantiate_node", "PetriNets", "Class", "Transition", "instantiate_link", "PetriNets", "Association", "P2T", "Place", "Transition", "instantiate_link", "PetriNets", "Association", "P2T_weight", "P2T", "Natural", "instantiate_attribute", "PetriNets", "P2T_weight", "name", "weight", "instantiate_link", "PetriNets", "Association", "T2P", "Transition", "Place", "instantiate_link", "PetriNets", "Association", "T2P_weight", "T2P", "Natural", "instantiate_attribute", "PetriNets", "T2P_weight", "name", "weight", "export_node", "PetriNets", "models/PetriNets"]