Morten Jacobsen

发表

Timed-Arc Petri Nets

Lasse Jacobsen, Morten Jacobsen, Mikael Harkjr Mller, 2010 .

Verification of Timed-Arc Petri Nets

Jirí Srba, Lasse Jacobsen, Morten Jacobsen, 2011, SOFSEM.

Unnskyld, kan jeg få stille deg et spørsmål? : : kommunikasjon av kontekst i mobile arbeidsgrupper

Morten Jacobsen, 2005 .

Short-term wind power prediction based on Markov chain and numerical weather prediction models: A case study of Fakken wind farm

Morten Jacobsen, M. Jacobsen, 2014 .

Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, 2009, MEMICS.

Investigation and Comparison of Separate Meter-In Separate Meter-Out Control Strategies

Torben Ole Andersen, Henrik C. Pedersen, Morten Jacobsen, 2013 .

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Jirí Srba, Alexandre David, Lasse Jacobsen, 2012, SSV.

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Jirí Srba, Lasse Jacobsen, Morten Jacobsen, 2010, EPEW.

Verification of Timed-Arc Petri Nets (invited talk)

Jiří Srba, Lasse Jacobsen, Morten Jacobsen, 2011 .

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

Jirí Srba, Joakim Byg, Kenneth Yrke Jørgensen, 2014, Theor. Comput. Sci..