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)

Soundness of Timed-Arc Workflow Nets. - José Antonio Mateo; Jirí Srba; Mathias Grund Sørensen (Petri Nets, 2014)

On Time with Minimal Expected Cost! - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Didier Lime; Mathias Grund Sørensen; Jakob Haahr Taankvist (ATVA, 2014)

Memory Efficient Data Structures for Explicit Verification of Timed Systems. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba; Mathias Grund Sørensen; Jakob Haahr Taankvist (NASA Formal Methods, 2014)

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. - José Antonio Mateo; Jirí Srba; Mathias Grund Sørensen (Fundam. Informaticae, 2015)