%0 Journal Article %1 LidaDanChengchengShanshan14 %A Lida, Dong %A Dan, Zhu %A Chengcheng, Zhu %A Shanshan, Xu %D 2014 %I IET %J Control Theory & Applications, IET %K citas, citeulike deadlock, nets, petri, referencias, s4pr %N 13 %P 1224--1237 %R 10.1049/iet-cta.2013.0576 %T Region minimised monitor design for deadlock-prevention of S⁴PR nets %U http://dx.doi.org/10.1049/iet-cta.2013.0576 %V 8

@article{LidaDanChengchengShanshan14, added-at = {2017-09-08T10:52:59.000+0200}, author = {Lida, Dong and Dan, Zhu and Chengcheng, Zhu and Shanshan, Xu}, biburl = {https://www.bibsonomy.org/bibtex/2cdd8ce32f4c1e9cf10202b0d62e22da1/fernand0}, citeulike-article-id = {13373845}, citeulike-linkout-0 = {http://dx.doi.org/10.1049/iet-cta.2013.0576}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6882899}, doi = {10.1049/iet-cta.2013.0576}, institution = {Hangzhou Inst. of Service Eng., Hangzhou Normal Univ., Hangzhou, China}, interhash = {6dc065f16820cedcf27bb8819f49ac03}, intrahash = {cdd8ce32f4c1e9cf10202b0d62e22da1}, issn = {1751-8644}, journal = {Control Theory \& Applications, IET}, keywords = {citas, citeulike deadlock, nets, petri, referencias, s4pr}, month = sep, number = 13, pages = {1224--1237}, posted-at = {2014-09-25 09:54:48}, priority = {2}, publisher = {IET}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Region minimised monitor design for deadlock-prevention of S⁴PR nets}}, url = {http://dx.doi.org/10.1049/iet-cta.2013.0576}, volume = 8, year = 2014 }