Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction | IEEE Conference Publication | IEEE Xplore