//-->
Reaching most states via refining controller regions for supervisors of two well-known S3PRs
Chao, Daniel Yuh, (2013)
Comment on "Technical note : reaching more states for control of FMS"
Lin, Jin-cherng, (2011)
Maximally permissive deadlock prevention via an invariant controlled method
Liu, Gaiyun, (2013)