Uli Schlachter

ORCID

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 15

Top Venues

Petri Nets

Trans. Petri Nets Other Model. Concurr.

CONCUR

ATAED@Petri Nets/ACSD

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Uli Schlachter, Harro Wimmel
Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete. CoRR (2020)
Uli Schlachter, Harro Wimmel
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Eike Best, Raymond R. Devillers, Uli Schlachter
Bounded choice-free Petri net synthesis: algorithmic issues. Acta Informatica 55 (7) (2018)
Raymond R. Devillers, Uli Schlachter
Factorisation of Petri Net Solvable Transition Systems. Petri Nets (2018)
Uli Schlachter, Harro Wimmel
A Geometric Characterisation of Event/State Separation. Petri Nets (2018)
Eike Best, Raymond R. Devillers, Uli Schlachter, Harro Wimmel
Simultaneous Petri Net Synthesis. Sci. Ann. Comput. Sci. 28 (2) (2018)
Uli Schlachter
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets. LATA (2018)
Éric Badouel, Uli Schlachter
Incremental Process Discovery using Petri Net Synthesis. Fundam. Informaticae 154 (1-4) (2017)
Eike Best, Raymond R. Devillers, Uli Schlachter
A Graph-Theoretical Characterisation of State Separation. SOFSEM (2017)
Uli Schlachter, Valentin Spreckels
Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets. ATAED@Petri Nets/ACSD (2017)
Uli Schlachter, Harro Wimmel
k-Bounded Petri Net Synthesis from Modal Transition Systems. CONCUR (2017)
Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels
Properties of Plain, Pure, and Safe Petri Nets. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Uli Schlachter
Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable. CONCUR (2016)
Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel
Characterising Petri Net Solvable Binary Words. Petri Nets (2016)
Uli Schlachter
Petri Net Synthesis for Restricted Classes of Nets. Petri Nets (2016)
Eike Best, Uli Schlachter
Analysis of Petri Nets and Transition Systems. ICE (2015)
Oliver Kramer, Uli Schlachter, Valentin Spreckels
An adaptive penalty function with meta-modeling for constrained problems. IEEE Congress on Evolutionary Computation (2013)

Uli Schlachter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Uli Schlachter