Uzam and Zhou (Uzam, M. and Zhou, M., 2006. An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research, 44 (10), 1987–2030) synthesised a near optimal controlled model for a well-known S3PR with 21,562 good states, 19 states short of the optimal one (21,581). It is non-trivial and interesting to synthesise an optimal controlled model as we will present it in this paper.
International Journal of Production Research, vol. 48, no. 4, pp. 1217-1220