Sebastian Mauser

From MaRDI portal
Person:1006646

Available identifiers

zbMath Open mauser.sebastianMaRDI QIDQ1006646

List of research outcomes





PublicationDate of PublicationType
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages2010-02-05Paper
Comparison of different algorithms to synthesize a Petri net from a partial language2009-12-09Paper
Construction of Process Models from Example Runs2009-04-24Paper
Executability of scenarios in Petri nets2009-03-25Paper
Complete Process Semantics for Inhibitor Nets2009-03-11Paper
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios2009-03-11Paper
https://portal.mardi4nfdi.de/entity/Q36018722009-02-12Paper
Synthesis of Petri nets from finite partial languages2009-02-12Paper
Partial Order Semantics of Types of Nets2009-02-03Paper
https://portal.mardi4nfdi.de/entity/Q55063942009-01-28Paper
Faster Unfolding of General Petri Nets Based on Token Flows2008-07-03Paper

Research outcomes over time

This page was built for person: Sebastian Mauser

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