Uli Schlachter

Available identifiers

zbMath Open schlachter.uliMaRDI QIDQ1647717

List of research outcomes

Publication	Date of Publication	Type
Relabelling LTS for Petri net synthesis via solving separation problems	2021-06-14	Paper
Properties of Plain, Pure, and Safe Petri Nets	2021-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q5111618	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5216152	2020-02-14	Paper
Factorisation of Petri net solvable transition systems	2019-12-18	Paper
A geometric characterisation of event/state separation	2019-12-18	Paper
Simultaneous Petri Net Synthesis	2019-02-08	Paper
Bounded choice-free Petri net synthesis: algorithmic issues	2018-10-09	Paper
Over-approximative Petri net synthesis for restricted subclasses of nets	2018-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4608667	2018-03-21	Paper
Incremental Process Discovery using Petri Net Synthesis	2018-01-19	Paper
A Graph-Theoretical Characterisation of State Separation	2017-04-04	Paper
Characterising Petri Net Solvable Binary Words	2016-10-04	Paper
Petri Net Synthesis for Restricted Classes of Nets	2016-10-04	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: Uli Schlachter