Validation of liveness for 1-safe hybrid Petri nets using network unfolding | IEEE Conference Publication | IEEE Xplore