A new liveness characterization for S3PGR2
Daniel Yuh Chao, Jiun‐Ting Chen · 2011
It has been a hot research topic to find the sufficient and necessary condition of liveness for S3PGR2(systems of simple sequential processes with general resources requirement) modeled by general Petri nets (GPN). This paper proposes a solution.