Uli Schlachter

From MaRDI portal
Person:1647717

Available identifiers

zbMath Open schlachter.uliMaRDI QIDQ1647717

List of research outcomes





PublicationDate of PublicationType
Relabelling LTS for Petri net synthesis via solving separation problems2021-06-14Paper
Properties of Plain, Pure, and Safe Petri Nets2021-06-14Paper
k-Bounded Petri Net Synthesis from Modal Transition Systems.2020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q52161522020-02-14Paper
Factorisation of Petri net solvable transition systems2019-12-18Paper
A geometric characterisation of event/state separation2019-12-18Paper
Simultaneous Petri Net Synthesis2019-02-08Paper
Bounded choice-free Petri net synthesis: algorithmic issues2018-10-09Paper
Over-approximative Petri net synthesis for restricted subclasses of nets2018-06-26Paper
https://portal.mardi4nfdi.de/entity/Q46086672018-03-21Paper
Incremental Process Discovery using Petri Net Synthesis2018-01-19Paper
A Graph-Theoretical Characterisation of State Separation2017-04-04Paper
Petri Net Synthesis for Restricted Classes of Nets2016-10-04Paper
Characterising Petri Net Solvable Binary Words2016-10-04Paper

Research outcomes over time

This page was built for person: Uli Schlachter

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