.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