\input zb-basic
\input zb-ioport
\iteman{io-port 50272309}
\itemau{Hu, Hesuan; Zhou, Mengchu; Li, Zhiwu}
\itemti{Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems}
\itemso{IEEE Transactions on Systems, Man, and Cybernetics, Part A 41, No. 2, 201-212 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/TSMCA.2010.2058101}
\end