Search Results - "Jacobsen, Lasse"

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets by David, Alexandre, Jacobsen, Lasse, Jacobsen, Morten, Srba, Jiří

“…Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed…”
Get full text

The prognostic impact of anthropometrics in acute myeloid leukemia treated with intensive chemotherapy – A Danish nationwide cohort study by Kristensen, Daniel, Nielsen, Lars Børty, Roug, Anne Stidsholt, Kristensen, Tove-Christina Choe, Heath, Astrid, Jacobsen, Lasse Hjort, Nørgaard, Jan Maxwell, Jepsen, Lene Østergaard, Schöllkopf, Claudia, Theilgaard-Mönch, Kim, Severinsen, Marianne Tang

Get full text

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata by Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří

“…We present a framework for TCTL-preserving translations between time-dependent modeling formalisms. The framework guarantees that once the original and the…”
Get full text

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets by David, Alexandre, Jacobsen, Lasse, Jacobsen, Morten, Srba, Jiří

“…EPTCS 102, 2012, pp. 125-140 Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed…”
Get full text