Mikael H. Møller

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Specification of asynchronous component systems with modal I/O-Petri nets Trustworthy Global Computing	2016-11-09	Paper
Refinement checking on parametric modal transition systems Acta Informatica	2015-04-16	Paper
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata Theoretical Computer Science	2014-06-10	Paper
Channel Properties of Asynchronously Composed Petri Nets Application and Theory of Petri Nets and Concurrency	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 Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Dual-priced modal transition systems with time durations Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper
Parametric modal transition systems Automated Technology for Verification and Analysis	2011-10-07	Paper
Verification of Timed-Arc Petri Nets SOFSEM 2011: Theory and Practice of Computer Science	2011-02-15	Paper

Research outcomes over time

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