A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems Export

@article{citeulike:2557336, abstract = {<para> Over the last two decades, a great deal of research has been focused on solving deadlock problems in resource allocation systems such as computer communication systems, workflow systems, and flexible manufacturing systems, resulting in a wide variety of approaches. As a well-defined problem in resource allocation systems, deadlock prevention based on a Petri net formalism has received an enormous amount of attention in the literature. This paper intends to review and compare a variety of Petri net-based deadlock prevention policies reported in the literature. Their comparison is done in terms of structural complexity, behavior permissiveness, and computational complexity. This paper should facilitate engineers in choosing a suited method for their industrial application cases. </para>}, author = {Li and Zhou, M. and Wu, N.}, booktitle = {Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on}, citeulike-article-id = {2557336}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/TSMCC.2007.913920}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4447654}, doi = {10.1109/TSMCC.2007.913920}, journal = {Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on}, keywords = {cifras, citas, comparaciones, deadlock, fms, prevention, survey}, number = {2}, pages = {173--188}, posted-at = {2008-03-19 08:16:45}, priority = {2}, title = {A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems}, url = {http://dx.doi.org/10.1109/TSMCC.2007.913920}, volume = {38}, year = {2008} }

TY - JOUR ID - citeulike:2557336 L3 - citeulike-article-id:2557336 N2 - <para> Over the last two decades, a great deal of research has been focused on solving deadlock problems in resource allocation systems such as computer communication systems, workflow systems, and flexible manufacturing systems, resulting in a wide variety of approaches. As a well-defined problem in resource allocation systems, deadlock prevention based on a Petri net formalism has received an enormous amount of attention in the literature. This paper intends to review and compare a variety of Petri net-based deadlock prevention policies reported in the literature. Their comparison is done in terms of structural complexity, behavior permissiveness, and computational complexity. This paper should facilitate engineers in choosing a suited method for their industrial application cases. </para> IS - 2 JF - Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on EP - 188 TI - A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems VL - 38 T2 - Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on SP - 173 KW - cifras KW - citas KW - comparaciones KW - deadlock KW - fms KW - prevention KW - survey AU - Li AU - Zhou, M AU - Wu, N PY - 2008/// UR - http://dx.doi.org/10.1109/TSMCC.2007.913920 ER -