%0 Journal Article %1 journals/candie/LiH09 %A Li, ZhiWu %A Hu, Hesuan %D 2009 %J Comput. Ind. Eng. %K dblp %N 1 %P 53-62 %T On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. %U http://dblp.uni-trier.de/db/journals/candie/candie56.html#LiH09 %V 56

@article{journals/candie/LiH09, added-at = {2022-04-29T00:00:00.000+0200}, author = {Li, ZhiWu and Hu, Hesuan}, biburl = {https://www.bibsonomy.org/bibtex/25c611b4f67eb28b49bb76f44bb964c00/dblp}, ee = {https://doi.org/10.1016/j.cie.2008.03.013}, interhash = {c52e369bc40c281d1324d5700508d585}, intrahash = {5c611b4f67eb28b49bb76f44bb964c00}, journal = {Comput. Ind. Eng.}, keywords = {dblp}, number = 1, pages = {53-62}, timestamp = {2024-04-09T04:41:33.000+0200}, title = {On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.}, url = {http://dblp.uni-trier.de/db/journals/candie/candie56.html#LiH09}, volume = 56, year = 2009 }