% return states numb of a DES name
function marklist = mstates(name1)

[state_size, tran_size, is_det, is_controllable, tranlist, marklist] = getdes_parameter(name1);

%trans_num = tran_size;

end %function
% the end -----------------------------------------------------------------