Complexity of the deadlock problem for Petri nets modeling resource allocation systems.
Saved in:
| Title: | Complexity of the deadlock problem for Petri nets modeling resource allocation systems. |
|---|---|
| Authors: | Liu, Guanjun1, liuguanjun@tongji.edu.cn |
| Source: | Information Sciences; Oct2016, Vol. 363, p190-197, 8p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00200255 |
|---|---|
| DOI: | 10.1016/j.ins.2015.11.025 |