%0 Journal Article %1 NunoRamirezRuiz16 %A Nuno-Sanchez, Saul-Alonso %A Ramirez-Trevino, Antonio %A Ruiz-Leon, Javier %D 2016 %I IEEE %J Automatic Control, IEEE Transactions on %K citeulike deadlock, nets, petri %N 1 %P 198--203 %R 10.1109/tac.2015.2426275 %T Structural Sequence Detectability in Free Choice Interpreted Petri Nets %U http://dx.doi.org/10.1109/tac.2015.2426275 %V 61

@article{NunoRamirezRuiz16, added-at = {2017-09-08T10:52:59.000+0200}, author = {Nuno-Sanchez, Saul-Alonso and Ramirez-Trevino, Antonio and Ruiz-Leon, Javier}, biburl = {https://www.bibsonomy.org/bibtex/261334d5d8a7dafdd617aed9d056a3b33/fernand0}, citeulike-article-id = {13913998}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/tac.2015.2426275}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7095571}, doi = {10.1109/tac.2015.2426275}, interhash = {5e8eae892ae18ead60a0233827ae5f3b}, intrahash = {61334d5d8a7dafdd617aed9d056a3b33}, issn = {0018-9286}, journal = {Automatic Control, IEEE Transactions on}, keywords = {citeulike deadlock, nets, petri}, month = jan, number = 1, pages = {198--203}, posted-at = {2016-01-22 10:09:18}, priority = {2}, publisher = {IEEE}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Structural Sequence Detectability in Free Choice Interpreted Petri Nets}}, url = {http://dx.doi.org/10.1109/tac.2015.2426275}, volume = 61, year = 2016 }