Deadlock resolution in automated manufacturing systems-a novel Petri net approach, by Z.W. Li, and M.C. Zhou, Book review