A Polynomial Complexity Algorithm to Decide the Liveness for a Class of Petri Nets | IEEE Conference Publication | IEEE Xplore