Verification of Liveness Properties on Closed Timed-Arc Petri Nets. - Mathias Andersen; Heine Gatten Larsen; Jirí Srba; Mathias Grund Sørensen; Jakob Haahr Taankvist (MEMICS, 2012)