Uli Schlachter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2021-06-14	Paper
\(k\)-bounded Petri net synthesis from modal transition systems	2020-05-27	Paper
Analysis of Petri nets and transition systems	2020-02-14	Paper
Analysis of Petri nets and transition systems (available as arXiv preprint)	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 Scientific Annals of Computer Science	2019-02-08	Paper
Bounded choice-free Petri net synthesis: algorithmic issues Acta Informatica	2018-10-09	Paper
Over-approximative Petri net synthesis for restricted subclasses of nets	2018-06-26	Paper
Bounded Petri net synthesis from modal transition systems is undecidable	2018-03-21	Paper
Incremental process discovery using Petri net synthesis Fundamenta Informaticae	2018-01-19	Paper
A graph-theoretical characterisation of state separation SOFSEM 2017: Theory and Practice of Computer Science	2017-04-04	Paper
Petri Net Synthesis for Restricted Classes of Nets Application and Theory of Petri Nets and Concurrency	2016-10-04	Paper
Characterising Petri net solvable binary words Application and Theory of Petri Nets and Concurrency	2016-10-04	Paper

Research outcomes over time

This page was built for person: Uli Schlachter