Deadlock and liveness characterization for a class of generalized Petri nets

Miao Liu, ShouGuang Wang, MengChu Zhou, Ding Liu, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, Zhiwu Li. Deadlock and liveness characterization for a class of generalized Petri nets. Inf. Sci., 420:403-416, 2017. [doi]

Abstract

Abstract is missing.