Sebastian Mauser

Available identifiers

zbMath Open mauser.sebastianMaRDI QIDQ1006646

List of research outcomes

Publication	Date of Publication	Type
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages	2010-02-05	Paper
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language	2009-12-09	Paper
Construction of Process Models from Example Runs	2009-04-24	Paper
Executability of scenarios in Petri nets	2009-03-25	Paper
Complete Process Semantics for Inhibitor Nets	2009-03-11	Paper
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q3601872	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3602749	2009-02-12	Paper
Partial Order Semantics of Types of Nets	2009-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5506394	2009-01-28	Paper
Faster Unfolding of General Petri Nets Based on Token Flows	2008-07-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sebastian Mauser