Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net

Naiqi Wu, MengChu Zhou. Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 2081-2086, IEEE, 2008. [doi]

@inproceedings{WuZ08-9,
  title = {Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net},
  author = {Naiqi Wu and MengChu Zhou},
  year = {2008},
  doi = {10.1109/ICSMC.2008.4811598},
  url = {http://dx.doi.org/10.1109/ICSMC.2008.4811598},
  researchr = {https://researchr.org/publication/WuZ08-9},
  cites = {0},
  citedby = {0},
  pages = {2081-2086},
  booktitle = {Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008},
  publisher = {IEEE},
  isbn = {978-1-4244-2383-5},
}