Morten Jacobsen

From MaRDI portal
Person:2453528

Available identifiers

zbMath Open jacobsen.mortenMaRDI QIDQ2453528

List of research outcomes





PublicationDate of PublicationType
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata2014-06-10Paper
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants2012-09-28Paper
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets2012-06-29Paper
Verification of Timed-Arc Petri Nets2011-02-15Paper

Research outcomes over time

This page was built for person: Morten Jacobsen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2453528&oldid=7621123"
Powered by MediaWiki