.model c_st_a .inputs tick token_i req_i .outputs grant_i .state graph s0 tick s0 s0 token_i s1 s1 tick s0 s1 req_i s2 s2 grant_i s3 s3 tick s0 .marking {s0} .end