Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller (MEMICS, 2009)

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jirí Srba (EPEW, 2010)

Verification of Timed-Arc Petri Nets. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jirí Srba (SOFSEM, 2011)

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. - Alexandre David; Lasse Jacobsen; Morten Jacobsen; Kenneth Yrke Jørgensen; Mikael H. Møller; Jirí Srba (TACAS, 2012)

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets - Alexandre David; Lasse Jacobsen; Morten Jacobsen; Jirí Srba (SSV, 2012)

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. - Joakim Byg; Morten Jacobsen; Lasse Jacobsen; Kenneth Yrke Jørgensen; Mikael Harkjær Møller; Jirí Srba (Theor. Comput. Sci., 2014)