On liveness analysis in mono-T-semiflow Petri nets based on choice-join pairs | Publicación