modelverse/interface/HUTN/test/modelling_language/expected/petrinets_constraints

["import_node", "models/SimpleClassDiagrams", "SCD", "instantiate_model", "SCD", "PetriNets", "instantiate_node", "PetriNets", "SimpleAttribute", "Natural", "instantiate_attribute_code", "PetriNets", "Natural", "constraint", "funcdef", "constraint", 2, "0", "1", "if", "call", "access", "resolve", "bool_not", 1, "call", "access", "resolve", "is_physical_int", 1, "call", "access", "resolve", "dict_read", 2, "call", "access", "resolve", "dict_read", 2, "access", "resolve", "0", "const", "model", false, "access", "resolve", "1", false, false, false, "return", true, "const", "Natural has no integer value", true, "if", "call", "access", "resolve", "integer_lt", 2, "call", "access", "resolve", "dict_read", 2, "call", "access", "resolve", "dict_read", 2, "access", "resolve", "0", "const", "model", false, "access", "resolve", "1", false, "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", "model_define_attribute", "PetriNets", "Place", "tokens", false, "Natural", "instantiate_node", "PetriNets", "Class", "Transition", "instantiate_link", "PetriNets", "Association", "P2T", "Place", "Transition", "model_define_attribute", "PetriNets", "P2T", "weight", false, "Natural", "instantiate_link", "PetriNets", "Association", "T2P", "Transition", "Place", "model_define_attribute", "PetriNets", "T2P", "weight", false, "Natural", "export_node", "PetriNets", "models/PetriNets"]