Mikael H. Møller

Available identifiers

zbMath Open moller.mikael-harkjaerMaRDI QIDQ2340258

List of research outcomes

Publication	Date of Publication	Type
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets	2016-11-09	Paper
Refinement checking on parametric modal transition systems	2015-04-16	Paper
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata	2014-06-10	Paper
Channel Properties of Asynchronously Composed Petri Nets	2013-06-28	Paper
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants	2012-09-28	Paper
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets	2012-06-29	Paper
Dual-Priced Modal Transition Systems with Time Durations	2012-06-15	Paper
Parametric Modal Transition Systems	2011-10-07	Paper
Verification of Timed-Arc Petri Nets	2011-02-15	Paper

Research outcomes over time

This page was built for person: Mikael H. Møller