Lasse Jacobsen

From MaRDI portal
Person:2453529

Available identifiers

zbMath Open jacobsen.lasseMaRDI QIDQ2453529

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: Lasse Jacobsen

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