%0 Journal Article %1 journals/tii/LiZ06 %A Li, ZhiWu %A Zhou, MengChu %D 2006 %J IEEE Trans. Ind. Informatics %K dblp %N 4 %P 313-325 %T Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. %U http://dblp.uni-trier.de/db/journals/tii/tii2.html#LiZ06 %V 2

@article{journals/tii/LiZ06, added-at = {2022-04-29T00:00:00.000+0200}, author = {Li, ZhiWu and Zhou, MengChu}, biburl = {https://www.bibsonomy.org/bibtex/2affc35b064c4f61d9c588e0ad0c301e0/dblp}, ee = {https://doi.org/10.1109/TII.2006.885185}, interhash = {08727d12867bd7f3a490ffa256cbda6b}, intrahash = {affc35b064c4f61d9c588e0ad0c301e0}, journal = {IEEE Trans. Ind. Informatics}, keywords = {dblp}, number = 4, pages = {313-325}, timestamp = {2024-04-08T15:02:02.000+0200}, title = {Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tii/tii2.html#LiZ06}, volume = 2, year = 2006 }