Robin Bergenthum

Available identifiers

zbMath Open bergenthum.robinMaRDI QIDQ1006645

List of research outcomes

Publication	Date of Publication	Type
Firing partial orders in a Petri net	2022-03-21	Paper
Verification of Scenarios in Petri Nets Using Compact Tokenflows	2016-05-11	Paper
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows	2013-06-28	Paper
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
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q3602749	2009-02-12	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: Robin Bergenthum