GuanJun Liu, Kun Zhang, Changjun Jiang. Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding. In Jesús Carretero, Javier García Blas, Ryan K. L. Ko, Peter Mueller, Koji Nakano, editors, Algorithms and Architectures for Parallel Processing - 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings. Volume 10048 of Lecture Notes in Computer Science, pages 98-105, Springer, 2016. [doi]
Abstract is missing.